Symbol: CR4_VMXE
stand/userboot/userboot/elf64_freebsd.c
146
CALLBACK(setcr, 4, CR4_PAE | CR4_VMXE);
sys/amd64/vmm/intel/vmcs.c
374
cr4 = vmm_get_host_cr4() | CR4_VMXE;
sys/amd64/vmm/intel/vmx.c
605
load_cr4(rcr4() & ~CR4_VMXE);
sys/amd64/vmm/intel/vmx.c
645
load_cr4(rcr4() | CR4_VMXE);