Symbol: hv_get_adj_host_time
drivers/hv/hv_util.c
342
if (!hv_get_adj_host_time(&ts))
drivers/hv/hv_util.c
742
return hv_get_adj_host_time(ts);