Searched refs:time_travel_timer_interval (Results 1 – 1 of 1) sorted by relevance
39 static unsigned long long time_travel_timer_interval; variable456 time_travel_time + time_travel_timer_interval); in time_travel_periodic_timer()642 os_timer_set_interval(cpu, time_travel_timer_interval); in time_travel_sleep()658 time_travel_timer_interval); in time_travel_handle_real_alarm()663 time_travel_timer_interval = interval; in time_travel_set_interval()