1#ifndef RVL_SDK_OS_TIME_H 
    2#define RVL_SDK_OS_TIME_H 
    3#include <revolution/OS/OSHardware.h> 
   10#define OS_TIME_SPEED (OS_BUS_CLOCK_SPEED / 4) 
   13#define OS_TICKS_TO_SEC(x) ((x) / (OS_TIME_SPEED)) 
   14#define OS_TICKS_TO_MSEC(x) ((x) / (OS_TIME_SPEED / 1000)) 
   15#define OS_TICKS_TO_USEC(x) (((x) * 8) / (OS_TIME_SPEED / 125000)) 
   16#define OS_TICKS_TO_NSEC(x) (((x) * 8000) / (OS_TIME_SPEED / 125000)) 
   19#define OS_SEC_TO_TICKS(x) ((x) * (OS_TIME_SPEED)) 
   20#define OS_MSEC_TO_TICKS(x) ((x) * (OS_TIME_SPEED / 1000)) 
   21#define OS_USEC_TO_TICKS(x) ((x) * (OS_TIME_SPEED / 125000) / 8) 
   22#define OS_NSEC_TO_TICKS(x) ((x) * (OS_TIME_SPEED / 125000) / 8000) 
   25#define OS_TICKS_DELTA(x, y) ((s32)x - (s32)y) 
   43s64 __OSGetSystemTime(
void);
 
   44s64 __OSTimeToSystemTime(s64 time);