Symbol: CR4_VMXE
usr/src/boot/sys/x86/include/specialreg.h
72
#define CR4_VMXE 0x00002000 /* enable VMX operation (Intel-specific) */
usr/src/compat/bhyve/amd64/machine/specialreg.h
37
#undef CR4_VMXE
usr/src/uts/intel/sys/controlregs.h
117
#define CR4_VMXE 0x2000 /* VMX enable */