Searched refs:CR4_VMXE (Results 1 – 7 of 7) sorted by relevance
165 { "VMXE", CR4_VMXE, CR4_VMXE }, in mdb_x86_print_sysregs()
37 #undef CR4_VMXE
117 #define CR4_VMXE 0x2000 /* VMX enable */ macro
72 #define CR4_VMXE 0x00002000 /* enable VMX operation (Intel-specific) */ macro
76 #define CR4_VMXE 0x00002000 /* enable VMX operation (Intel-specific) */ macro
360 setcr4(getcr4() | CR4_VMXE); in hma_vmx_cpu_vmxon()
802 vmcs_write(VMCS_HOST_CR4, vmm_get_host_cr4() | CR4_VMXE); in vmx_vminit()