Searched refs:time_travel_ext_get_time (Results 1 – 1 of 1) sorted by relevance
248 static void time_travel_ext_get_time(void) in time_travel_ext_get_time() function465 time_travel_ext_get_time(); in time_travel_add_irq_event()570 time_travel_ext_get_time(); in time_travel_set_start()