Symbol: MSR_VMCR
sys/arch/x86/x86/identcpu.c
1089
val = rdmsr(MSR_VMCR);
sys/dev/nvmm/x86/nvmm_x86_svm.c
2761
msr = rdmsr(MSR_VMCR);
sys/dev/nvmm/x86/nvmm_x86_svm.c
2799
msr = rdmsr(MSR_VMCR);
sys/dev/nvmm/x86/nvmm_x86_svm.c
2801
wrmsr(MSR_VMCR, msr & ~VMCR_SVMED);