Symbol: VMCR_SVMED
sys/arch/x86/x86/identcpu.c
1090
if (((val & VMCR_SVMED) == VMCR_SVMED)
sys/dev/nvmm/x86/nvmm_x86_svm.c
2762
if ((msr & VMCR_SVMED) && (msr & VMCR_LOCK)) {
sys/dev/nvmm/x86/nvmm_x86_svm.c
2800
if (msr & VMCR_SVMED) {
sys/dev/nvmm/x86/nvmm_x86_svm.c
2801
wrmsr(MSR_VMCR, msr & ~VMCR_SVMED);