hv_adj_sched_clock_offset
hv_adj_sched_clock_offset(hv_ref_counter_at_suspend - hv_read_reference_counter());
extern void hv_adj_sched_clock_offset(u64 offset);