MSR_SF_MASK
wrmsr(MSR_SF_MASK, PSL_NT | PSL_T | PSL_I | PSL_C | PSL_D | PSL_AC);
svm_msr_rw_ok(svm_sc->msr_bitmap, MSR_SF_MASK);
wrmsr(MSR_SF_MASK, host_msrs[IDX_MSR_SF_MASK]);
host_msrs[IDX_MSR_SF_MASK] = rdmsr(MSR_SF_MASK);
host_msrs[IDX_MSR_SF_MASK] = rdmsr(MSR_SF_MASK);
guest_msr_rw(vmx, MSR_SF_MASK);
wrmsr(MSR_SF_MASK, vcpu->guest_msrs[IDX_MSR_SF_MASK]);
vcpu->guest_msrs[IDX_MSR_SF_MASK] = rdmsr(MSR_SF_MASK);
wrmsr(MSR_SF_MASK, host_msrs[IDX_MSR_SF_MASK]);
case MSR_SF_MASK: