//
// Created by red031000 on 2020-05-17.
//

#ifndef POKEDIAMOND_OS_TICK_H
#define POKEDIAMOND_OS_TICK_H

#include "types.h"

typedef u64 OSTick;

#endif //POKEDIAMOND_OS_TICK_H