Searched refs:SECONDARY_EXEC_ENABLE_EPT (Results 1 – 2 of 2) sorted by relevance
49 #define SECONDARY_EXEC_ENABLE_EPT 0x00000002 macro
223 sec_exec_ctl |= SECONDARY_EXEC_ENABLE_EPT; in init_vmcs_control_fields()