os_timer_set_interval  260 arch/um/include/shared/os.h extern int os_timer_set_interval(unsigned long long nsecs);
os_timer_set_interval  237 arch/um/kernel/process.c 			os_timer_set_interval(time_travel_timer_interval);
os_timer_set_interval   80 arch/um/kernel/time.c 		os_timer_set_interval(interval);