os_timer_disable  262 arch/um/include/shared/os.h extern void os_timer_disable(void);
os_timer_disable  211 arch/um/kernel/process.c 		os_timer_disable();
os_timer_disable   64 arch/um/kernel/time.c 		os_timer_disable();
os_timer_disable  161 arch/um/os-Linux/main.c 	os_timer_disable();