Searched refs:do_adj_guesttime (Results 1 – 1 of 1) sorted by relevance
166 static inline void do_adj_guesttime(u64 hosttime) in do_adj_guesttime() function191 do_adj_guesttime(wrk->host_time); in hv_set_host_time()