Searched refs:os_timer_disable (Results 1 – 4 of 4) sorted by relevance
95 void os_timer_disable(int cpu) in os_timer_disable() function
170 os_timer_disable(0); in main()
631 os_timer_disable(cpu); in time_travel_sleep()793 os_timer_disable(cpu); in itimer_shutdown()
278 extern void os_timer_disable(int cpu);