MSR_HV_SIEFP
orig = rdmsr(MSR_HV_SIEFP);
wrmsr(MSR_HV_SIEFP, val);
wrmsr(MSR_HV_SIEFP, (orig & MSR_HV_SIEFP_RSVD_MASK));