HV_MSR_STIMER0_COUNT
hv_set_msr(HV_MSR_STIMER0_COUNT, current_tick);
hv_set_msr(HV_MSR_STIMER0_COUNT, 0);