sys/arch/x86/x86/cpu.c

1278

wrmsr(MSR_SFMASK, PSL_NT|PSL_T|PSL_I|PSL_C|PSL_D|PSL_AC);

sys/dev/nvmm/x86/nvmm_x86_svm.c

1639

wrmsr(MSR_SFMASK, cpudata->sfmask);

sys/dev/nvmm/x86/nvmm_x86_svm.c

2431

svm_vcpu_msr_allow(cpudata->msrbm, MSR_SFMASK, true, true);

sys/dev/nvmm/x86/nvmm_x86_svm.c

2464

cpudata->sfmask = rdmsr(MSR_SFMASK);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2295

wrmsr(MSR_SFMASK, cpudata->sfmask);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

3109

vmx_vcpu_msr_allow(cpudata->msrbm, MSR_SFMASK, true, true);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

3129

gmsr[VMX_MSRLIST_SFMASK].msr = MSR_SFMASK;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

3192

cpudata->sfmask = rdmsr(MSR_SFMASK);