EPT_VIOLATION_USER_EXEC_TO_PROT
static_assert(EPT_VIOLATION_USER_EXEC_TO_PROT(VMX_EPT_USER_EXECUTABLE_MASK) ==
EPT_VIOLATION_USER_EXEC_TO_PROT(pte_access);