EPT_VIOLATION_RWX_TO_PROT
static_assert(EPT_VIOLATION_RWX_TO_PROT(VMX_EPT_RWX_MASK) ==
walker->fault.exit_qualification |= EPT_VIOLATION_RWX_TO_PROT(pte_access);