Searched refs:SECONDARY_EXEC_ENABLE_EPT (Results 1 – 2 of 2) sorted by relevance
57 #define SECONDARY_EXEC_ENABLE_EPT 0x00000002 macro
381 SECONDARY_EXEC_ENABLE_EPT; in cpu_has_vmx_ept()1501 SECONDARY_EXEC_ENABLE_EPT | in setup_vmcs_config()1515 if (_cpu_based_2nd_exec_control & SECONDARY_EXEC_ENABLE_EPT) { in setup_vmcs_config()2651 exec_control &= ~SECONDARY_EXEC_ENABLE_EPT; in vmx_vcpu_setup()