149 					      msg->time & UM_TIMETRAVEL_START_ACK_ID);  in time_travel_handle_message()
170 		time_travel_set_time(msg->time);  in time_travel_handle_message()
184 		_time_travel_ext_free_until = msg->time;  in time_travel_handle_message()
187 		bc_message = msg->time;  in time_travel_handle_message()
196 static u64 time_travel_ext_req(u32 op, u64 time)  in time_travel_ext_req()  argument
202 		.time = time,  in time_travel_ext_req()
237 		      msg.op, msg.seq, mseq, msg.time);  in time_travel_ext_req()
240 		time_travel_set_time(msg.time);  in time_travel_ext_req()
244 	return msg.time;  in time_travel_ext_req()
264 static void time_travel_ext_update_request(unsigned long long time)  in time_travel_ext_update_request()  argument
271 	    time == time_travel_ext_prev_request)  in time_travel_ext_update_request()
282 	    time < (*time_travel_ext_free_until - time_travel_shm_offset))  in time_travel_ext_update_request()
285 	time_travel_ext_prev_request = time;  in time_travel_ext_update_request()
296 			time += time_travel_shm_offset;  in time_travel_ext_update_request()
297 			time_travel_shm_client->req_time = time;  in time_travel_ext_update_request()
298 			if (time < time_travel_shm->free_until)  in time_travel_ext_update_request()
299 				time_travel_shm->free_until = time;  in time_travel_ext_update_request()
304 	time_travel_ext_req(UM_TIMETRAVEL_REQUEST, time);  in time_travel_ext_update_request()
328 static bool time_travel_ext_request(unsigned long long time)  in time_travel_ext_request()  argument
339 	    time < (*time_travel_ext_free_until - time_travel_shm_offset))  in time_travel_ext_request()
342 	time_travel_ext_update_request(time);  in time_travel_ext_request()
400 				    unsigned long long time)  in __time_travel_add_event()  argument
410 	e->time = time;  in __time_travel_add_event()
421 		if ((tmp->time > e->time) ||  in __time_travel_add_event()
422 		    (tmp->time == e->time && tmp->onstack && e->onstack)) {  in __time_travel_add_event()
433 	time_travel_ext_update_request(tmp->time);  in __time_travel_add_event()
434 	time_travel_next_event = tmp->time;  in __time_travel_add_event()
439 				  unsigned long long time)  in time_travel_add_event()  argument
444 	__time_travel_add_event(e, time);  in time_travel_add_event()
546 		__time_travel_update_time(e->time, idle);  in time_travel_update_time()
551 			BUG_ON(time_travel_time != e->time);  in time_travel_update_time()
558 					      time_travel_time, e->time, e);  in time_travel_update_time()
565 			time_travel_ext_update_request(e->time);  in time_travel_update_time()
643 			os_timer_one_shot(time_travel_timer_event.time - next);  in time_travel_sleep()
752 extern u64 time_travel_ext_req(u32 op, u64 time);
755 #define time_travel_add_event(e, time) do { } while (0)  argument