Searched refs:OSi_SetTimerReserved (Results 1 – 3 of 3) sorted by relevance
40 extern void OSi_SetTimerReserved(int timerNum);63 OSi_SetTimerReserved(OSi_TICK_TIMER); in OS_InitTick()
33 void OSi_SetTimerReserved(int timerNum);68 void OSi_SetTimerReserved(int timerNum) in OSi_SetTimerReserved() function
36 void OSi_SetTimerReserved(int timerNum);113 OSi_SetTimerReserved(OSi_ALARM_TIMER); in OS_InitAlarm()