Searched refs:CR4_VMXE (Results 1 – 2 of 2) sorted by relevance
115 set_cr4(get_cr4() | CR4_VMXE); in vmx_enable()
155 #define CR4_VMXE 0x00002000 /* Enable VMX operation */ macro