GICR_INVLPIR Redistributor Invalidate LPI Register GIC Redistributor RD_base 0x00A0 GICR_INVLPIR WO Invalidates the cached configuration data of a specified LPI, causing the GIC to reload the interrupt configuration from the appropriate LPI Configuration table. GICR A copy of this register is provided for each Redistributor. GICR_INVLPIR is a 64-bit register. V 63 63 0 Indicates whether the INTID is virtual or physical. 0b0 Invalidate is for a physical INTID. 0b1 Invalidate is for a virtual INTID. When GICv4.1 is implemented 63 63 63 Reserved, RES0. Otherwise 62 48 62:48 Reserved, RES0. vPEID 47 32 15:0 When GICR_INVLPIR.V == 0, this field is RES0 When GICR_INVLPIR.V == 1, this field is the target vPEID of the invalidate. The size of this field is IMPLEMENTATION DEFINED, and is specified by the GICD_TYPER2.VIL and GICD_TYPER2.VID fields. Unimplemented bits are RES0. When GICv4.1 is implemented 47 32 47:32 Reserved, RES0. Otherwise INTID 31 0 31:0 The INTID of the LPI to be invalidated. The size of this field is IMPLEMENTATION DEFINED, and is specified by the GICD_TYPER.IDbits field. Unimplemented bits are RES0. If any LPI has been forwarded to the PE and a valid write to GICR_INVLPIR is received, the Redistributor must ensure it reloads its properties from memory and apply any changes by retrieving and reforwarding the LPI as required. This has no effect on the forwarded LPI if it has already been activated. When written with a 32-bit write the data is zero-extended to 64 bits. This register is mandatory when any of the following are true: GICR_TYPER.Direct is 1. GICR_CTLR.IR is 1. GICv4.1 is implemented. Otherwise, the functionality is IMPLEMENTATION DEFINED. Writes to this register have no effect if either: The specified LPI is not currently stored in the local Redistributor. The INTID field corresponds to an unimplemented LPI. 2026-03-26 20:27:25 2026-03_rel