Symbol: CR4_VMXE
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
1729
cr4 = gpr | CR4_VMXE;
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
2668
(state->crs[NVMM_X64_CR_CR4] & CR4_VALID) | CR4_VMXE);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
2824
state->crs[NVMM_X64_CR_CR4] &= ~CR4_VMXE;
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3395
ret = vmx_check_cr(x86_get_cr4() | CR4_VMXE, vmx_cr4_fixed0,
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3525
cr4 |= CR4_VMXE;
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3527
cr4 &= ~CR4_VMXE;