The GICR_INVALLR characteristics are:
Invalidates any cached configuration data of all physical LPIs, causing the GIC to reload the interrupt configuration from the physical LPI Configuration table at the address specified by GICR_PROPBASER.
A copy of this register is provided for each Redistributor.
GICR_INVALLR is a 64-bit register.
63 | 62 | 61 | 60 | 59 | 58 | 57 | 56 | 55 | 54 | 53 | 52 | 51 | 50 | 49 | 48 | 47 | 46 | 45 | 44 | 43 | 42 | 41 | 40 | 39 | 38 | 37 | 36 | 35 | 34 | 33 | 32 |
31 | 30 | 29 | 28 | 27 | 26 | 25 | 24 | 23 | 22 | 21 | 20 | 19 | 18 | 17 | 16 | 15 | 14 | 13 | 12 | 11 | 10 | 9 | 8 | 7 | 6 | 5 | 4 | 3 | 2 | 1 | 0 |
V | RES0 | vPEID | |||||||||||||||||||||||||||||
RES0 |
Indicates whether the INTID is virtual or physical.
V | Meaning |
---|---|
0b0 |
Invalidate is for a physical INTID. |
0b1 |
Invalidate is for a virtual INTID. |
Reserved, RES0.
Reserved, RES0.
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.
Reserved, RES0.
Reserved, RES0.
If any LPI has been forwarded to the PE and a valid write to GICR_INVALLR is received, the Redistributor must ensure it reloads its properties from memory. This has no effect on the forwarded LPI if it has already been activated.
This register is mandatory when any of the following are true:
Otherwise, the functionality is IMPLEMENTATION DEFINED.
Writes to this register have no effect if no physical LPIs are currently stored in the local Redistributor cache.
Component | Frame | Offset | Instance |
---|---|---|---|
GIC Redistributor | RD_base | 0x00B0 | GICR_INVALLR |
This interface is accessible as follows:
30/06/2021 15:22; 2a17f7750cfd1ab239f20f6cf29877ba8041794f
Copyright © 2010-2021 Arm Limited or its affiliates. All rights reserved. This document is Non-Confidential.