MSR_HV_SCONTROL
orig = RDMSR(MSR_HV_SCONTROL);
WRMSR(MSR_HV_SCONTROL, val);
WRMSR(MSR_HV_SCONTROL, (orig & MSR_HV_SCTRL_RSVD_MASK));