Symbol: CR4_VMXE
sys/arch/amd64/include/specialreg.h
80
#define CR4_VMXE 0x00002000 /* enable virtual machine operation */
sys/arch/i386/include/specialreg.h
76
#define CR4_VMXE 0x00002000 /* enable virtual machine operation */