Searched refs:TT_MODE_INFCPU (Results 1 – 4 of 4) sorted by relevance
63 if (time_travel_mode != TT_MODE_INFCPU) in itimer_shutdown()79 if (time_travel_mode != TT_MODE_INFCPU) in itimer_set_periodic()95 if (time_travel_mode != TT_MODE_INFCPU) in itimer_next_event()207 if (time_travel_mode == TT_MODE_INFCPU) in calibrate_delay_is_known()215 time_travel_mode = TT_MODE_INFCPU; in setup_time_travel()
210 if (time_travel_mode != TT_MODE_INFCPU) in time_travel_sleep()235 if (time_travel_mode != TT_MODE_INFCPU) { in time_travel_sleep()
27 if (time_travel_mode == TT_MODE_INFCPU) in handle_syscall()
16 TT_MODE_INFCPU, enumerator
