time_travel_set_timer_interval   47 arch/um/include/shared/timer-internal.h static inline void time_travel_set_timer_interval(unsigned long long interval)
time_travel_set_timer_interval   69 arch/um/include/shared/timer-internal.h static inline void time_travel_set_timer_interval(unsigned long long interval)