Symbol: CR4_VMXE
src/add-ons/kernel/drivers/nvmm/include/machine/specialreg.h
68
#define CR4_VMXE 0x00002000 /* Enable VMX - Intel specific */
src/libs/nvmm/driver/include/machine/specialreg.h
68
#define CR4_VMXE 0x00002000 /* Enable VMX - Intel specific */