time_travel_timer_interval   30 arch/um/include/shared/timer-internal.h extern unsigned long long time_travel_timer_interval;
time_travel_timer_interval   49 arch/um/include/shared/timer-internal.h 	time_travel_timer_interval = interval;
time_travel_timer_interval  216 arch/um/kernel/process.c 					     time_travel_timer_interval);
time_travel_timer_interval  237 arch/um/kernel/process.c 			os_timer_set_interval(time_travel_timer_interval);
time_travel_timer_interval   29 arch/um/kernel/time.c unsigned long long time_travel_timer_interval;