Symbol: MSR_SFMASK
sys/arch/amd64/amd64/cpu.c
1235
wrmsr(MSR_SFMASK, PSL_NT|PSL_T|PSL_I|PSL_C|PSL_D|PSL_AC);
sys/arch/amd64/amd64/vmm_machdep.c
1621
svm_setmsrbrw(vcpu, MSR_SFMASK);
sys/arch/amd64/amd64/vmm_machdep.c
2386
msr_store[VCPU_HOST_REGS_SFMASK].vms_index = MSR_SFMASK;
sys/arch/amd64/amd64/vmm_machdep.c
2387
msr_store[VCPU_HOST_REGS_SFMASK].vms_data = rdmsr(MSR_SFMASK);
sys/arch/amd64/amd64/vmm_machdep.c
2402
msr_store[VCPU_REGS_SFMASK].vms_index = MSR_SFMASK;
sys/arch/amd64/amd64/vmm_machdep.c
2508
vmx_setmsrbrw(vcpu, MSR_SFMASK);
sys/arch/amd64/amd64/vmm_machdep.c
8450
case MSR_SFMASK: return "SFMASK";