Searched refs:CR4_VMXE (Results 1 – 3 of 3) sorted by relevance
376 cr4 = vmm_get_host_cr4() | CR4_VMXE; in vmcs_init()
609 load_cr4(rcr4() & ~CR4_VMXE); in vmx_disable()646 load_cr4(rcr4() | CR4_VMXE); in vmx_enable()
76 #define CR4_VMXE 0x00002000 /* enable VMX operation (Intel-specific) */ macro