Symbol: CR4_VMXE
usr/src/cmd/mdb/intel/mdb/mdb_x86util.c
165
{ "VMXE", CR4_VMXE, CR4_VMXE },
usr/src/uts/intel/io/vmm/intel/vmx.c
795
vmcs_write(VMCS_HOST_CR4, vmm_get_host_cr4() | CR4_VMXE);
usr/src/uts/intel/os/hma.c
360
setcr4(getcr4() | CR4_VMXE);