SECONDARY_EXEC_ENABLE_EPT
#define SECONDARY_EXEC_ENABLE_EPT VMCS_CONTROL_BIT(EPT)
#define SECONDARY_EXEC_ENABLE_EPT 0x00000002