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();