Symbol: CR4_VMXE
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1733
cr4 = gpr | CR4_VMXE;
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2808
(state->crs[NVMM_X64_CR_CR4] & CR4_VALID) | CR4_VMXE);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2955
state->crs[NVMM_X64_CR_CR4] &= ~CR4_VMXE;
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3628
ret = vmx_check_cr(rcr4() | CR4_VMXE, vmx_cr4_fixed0, vmx_cr4_fixed1);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3746
cr4 |= CR4_VMXE;
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3748
cr4 &= ~CR4_VMXE;