Symbol: os_timer_disable
arch/um/include/shared/os.h
278
extern void os_timer_disable(int cpu);
arch/um/kernel/time.c
631
os_timer_disable(cpu);
arch/um/kernel/time.c
793
os_timer_disable(cpu);
arch/um/os-Linux/main.c
170
os_timer_disable(0);