GICR_SETLPIR Set LPI Pending Register GIC Redistributor RD_base 0x0040 GICR_SETLPIR WO Generates an LPI by setting the pending state of the specified LPI. GICR A copy of this register is provided for each Redistributor. GICR_SETLPIR is a 64-bit register. When GICR_TYPER.DirectLPI == '1' 63 32 63:32 Reserved, RES0. pINTID 31 0 31:0 The INTID of the physical LPI to be generated. The size of this field is IMPLEMENTATION DEFINED, and is specified by the GICD_TYPER.IDbits field. Unimplemented bits are RES0. When GICR_TYPER.DirectLPI == '0' IMPLEMENTATION DEFINED 63 0 63:0 IMPLEMENTATION DEFINED. When GICR_TYPER.DirectLPI == '1' When GICR_TYPER.DirectLPI == '0' When written with a 32-bit write the data is zero-extended to 64 bits. This register is mandatory in an implementation that supports LPIs and does not include an ITS. The functionality is IMPLEMENTATION DEFINED in an implementation that does include an ITS. Writes to this register have no effect if either: The pINTID field corresponds to an LPI that is already pending. The pINTID field corresponds to an unimplemented LPI. GICR_CTLR.EnableLPIs == 0. 2026-03-26 20:27:25 2026-03_rel