MSR_SFMASK
wrmsr(MSR_SFMASK, svm_global_hstate.sfmask);
svm_vcpu_msr_allow(cpudata->msrbm, MSR_SFMASK, true, true);
svm_global_hstate.sfmask = rdmsr(MSR_SFMASK);
wrmsr(MSR_SFMASK, vmx_global_hstate.sfmask);
vmx_vcpu_msr_allow(cpudata->msrbm, MSR_SFMASK, true, true);
gmsr[VMX_MSRLIST_SFMASK].msr = MSR_SFMASK;
vmx_global_hstate.sfmask = rdmsr(MSR_SFMASK);