ERXPFGF_EL1 Selected Pseudo-fault Generation Feature Register when FEAT_RASv1p1 is implemented Accesses ERR<n>PFGF for the error record <n> selected by ERRSELR_EL1.SEL. RAS ERXPFGF_EL1 is a 64-bit register. ERRnPFGF 63 0 63:0 ERXPFGF_EL1 accesses ERR<n>PFGF, where <n> is the value in ERRSELR_EL1.SEL. If ERRIDR_EL1.NUM is 0x0000 or ERRSELR_EL1.SEL is greater than or equal to ERRIDR_EL1.NUM, then one of the following occurs: An UNKNOWN error record is selected. ERXPFGF_EL1 is RAZ. Direct reads of ERXPFGF_EL1 are NOPs. Direct reads of ERXPFGF_EL1 are UNDEFINED. If ERRSELR_EL1.SEL selects an error record owned by a node that does not implement the Common Fault Injection Model Extension, then one of the following occurs: ERXPFGF_EL1 is RAZ. Direct reads of ERXPFGF_EL1 are NOPs. Direct reads of ERXPFGF_EL1 are UNDEFINED. A node does not implement the Common Fault Injection Model Extension if ERR<q>FR.INJ reads as 0b00. <q> is the index of the first error record owned by the same node as error record <n>, where <n> is the value in ERRSELR_EL1.SEL. If the node owns a single record then q = n. If ERRSELR_EL1.SEL is not the index of the first error record owned by a node, then ERR<n>PFGF is not present, meaning reads of ERXPFGF_EL1 are RES0. ERR<n>PFGF describes additional constraints that also apply when ERR<n>PFGF is accessed through ERXPFGF_EL1. MRS <Xt>, ERXPFGF_EL1 if !IsFeatureImplemented(FEAT_RASv1p1) then Undefined(); elsif PSTATE.EL == EL0 then Undefined(); elsif PSTATE.EL == EL1 then if HaveEL(EL3) && EL3SDDUndefPriority() && SCR_EL3().FIEN == '0' then Undefined(); elsif EL2Enabled() && HCR_EL2().FIEN == '0' then AArch64_SystemAccessTrap(EL2, 0x18); elsif EL2Enabled() && IsFeatureImplemented(FEAT_FGT) && (!HaveEL(EL3) || SCR_EL3().FGTEn == '1') && HFGRTR_EL2().ERXPFGF_EL1 == '1' then AArch64_SystemAccessTrap(EL2, 0x18); elsif HaveEL(EL3) && SCR_EL3().FIEN == '0' then if EL3SDDUndef() then Undefined(); else AArch64_SystemAccessTrap(EL3, 0x18); end; else X{64}(t) = ERRPFGF(UInt(ERRSELR_EL1().SEL)); end; elsif PSTATE.EL == EL2 then if HaveEL(EL3) && EL3SDDUndefPriority() && SCR_EL3().FIEN == '0' then Undefined(); elsif HaveEL(EL3) && SCR_EL3().FIEN == '0' then if EL3SDDUndef() then Undefined(); else AArch64_SystemAccessTrap(EL3, 0x18); end; else X{64}(t) = ERRPFGF(UInt(ERRSELR_EL1().SEL)); end; elsif PSTATE.EL == EL3 then X{64}(t) = ERRPFGF(UInt(ERRSELR_EL1().SEL)); end; 2026-03-26 20:27:25 2026-03_rel