Symbol: CR4_VMXE
sys/arch/amd64/amd64/vmm_machdep.c
2327
cr4 = vrs->vrs_crs[VCPU_REGS_CR4] | CR4_VMXE;
sys/arch/amd64/amd64/vmm_machdep.c
2477
if (vmwrite(VMCS_CR4_MASK, CR4_VMXE)) {
sys/arch/amd64/amd64/vmm_machdep.c
5699
r |= CR4_VMXE;
sys/arch/amd64/amd64/vmm_machdep.c
801
cr4 |= CR4_VMXE;
sys/arch/amd64/amd64/vmm_machdep.c
849
cr4 &= ~CR4_VMXE;
sys/arch/amd64/amd64/vmm_machdep.c
8606
{ CR4_VMXE, "VMXE ", "vmxe "},