Symbol: CR4_VMXE
sys/cpu/x86_64/include/specialreg.h
68
#define CR4_VMXE 0x00002000 /* Enable VMX - Intel specific */
sys/dev/virtual/nvmm/x86/nvmm_x86.h
681
#define CR4_VMXE __BIT(13) /* Enable VMX - Intel specific */