Searched refs:time_travel_ext_get_time (Results 1 – 1 of 1) sorted by relevance
364 static void time_travel_ext_get_time(void) in time_travel_ext_get_time() function585 time_travel_ext_get_time(); in time_travel_add_irq_event()690 time_travel_ext_get_time(); in time_travel_set_start()