84 static inline void OS_SetTimerCount(OSTimer id, u16 count)  in OS_SetTimerCount()  argument
86     SDK_ASSERT(OS_TIMER_0 <= id && id <= OS_TIMER_3);  in OS_SetTimerCount()
87     *((REGType16 *)((u32)REG_TM0CNT_L_ADDR + id * 4)) = count;  in OS_SetTimerCount()
100 static inline void OS_SetTimerControl(OSTimer id, u16 control)  in OS_SetTimerControl()  argument
102     SDK_ASSERT(OS_TIMER_0 <= id && id <= OS_TIMER_3);  in OS_SetTimerControl()
103     *((REGType16 *)((u32)REG_TM0CNT_H_ADDR + id * 4)) = control;  in OS_SetTimerControl()
120 void    OS_StartTimer(OSTimer id, u16 count, OSTimerPrescaler preScale);
124 void    OS_StartTimer32(OSTimer32 id, u32 count, OSTimerPrescaler preScale);
128 void    OS_StartTimer48(OSTimer48 id, u64 count, OSTimerPrescaler preScale);
147 void    OS_StopTimer(OSTimer id);
151 void    OS_StopTimer32(OSTimer32 id);
155 void    OS_StopTimer48(OSTimer48 id);