97 		time_travel_set_time(msg->time);  in time_travel_handle_message()
101 		time_travel_ext_free_until = msg->time;  in time_travel_handle_message()
109 static u64 time_travel_ext_req(u32 op, u64 time)  in time_travel_ext_req()  argument
115 		.time = time,  in time_travel_ext_req()
143 		      msg.op, msg.seq, mseq, msg.time);  in time_travel_ext_req()
146 		time_travel_set_time(msg.time);  in time_travel_ext_req()
149 	return msg.time;  in time_travel_ext_req()
169 static void time_travel_ext_update_request(unsigned long long time)  in time_travel_ext_update_request()  argument
176 	    time == time_travel_ext_prev_request)  in time_travel_ext_update_request()
184 	    time < time_travel_ext_free_until)  in time_travel_ext_update_request()
187 	time_travel_ext_prev_request = time;  in time_travel_ext_update_request()
189 	time_travel_ext_req(UM_TIMETRAVEL_REQUEST, time);  in time_travel_ext_update_request()
205 static bool time_travel_ext_request(unsigned long long time)  in time_travel_ext_request()  argument
213 	    time < time_travel_ext_free_until)  in time_travel_ext_request()
216 	time_travel_ext_update_request(time);  in time_travel_ext_request()
269 				    unsigned long long time)  in __time_travel_add_event()  argument
279 	e->time = time;  in __time_travel_add_event()
290 		if ((tmp->time > e->time) ||  in __time_travel_add_event()
291 		    (tmp->time == e->time && tmp->onstack && e->onstack)) {  in __time_travel_add_event()
302 	time_travel_ext_update_request(tmp->time);  in __time_travel_add_event()
303 	time_travel_next_event = tmp->time;  in __time_travel_add_event()
308 				  unsigned long long time)  in time_travel_add_event()  argument
313 	__time_travel_add_event(e, time);  in time_travel_add_event()
410 		__time_travel_update_time(e->time, idle);  in time_travel_update_time()
415 			BUG_ON(time_travel_time != e->time);  in time_travel_update_time()
422 					      time_travel_time, e->time, e);  in time_travel_update_time()
429 			time_travel_ext_update_request(e->time);  in time_travel_update_time()
483 			os_timer_one_shot(time_travel_timer_event.time - next);  in time_travel_sleep()
588 extern u64 time_travel_ext_req(u32 op, u64 time);
591 #define time_travel_add_event(e, time) do { } while (0)  argument