Symbol: os_timer_set_interval
arch/um/include/shared/os.h
276
extern int os_timer_set_interval(int cpu, unsigned long long nsecs);
arch/um/kernel/time.c
642
os_timer_set_interval(cpu, time_travel_timer_interval);
arch/um/kernel/time.c
814
os_timer_set_interval(cpu, interval);