GICR_VSGIR, Redistributor virtual SGI pending state request register
The GICR_VSGIR characteristics are:
Purpose
Requests the pending state of virtual SGIs for a specified vPE.
Configuration
This register is present only when FEAT_GICv4p1 is implemented. Otherwise, direct accesses to GICR_VSGIR are RES0.
A copy of this register is provided for each Redistributor.
Attributes
GICR_VSGIR is a 32-bit register.
Field descriptions
The GICR_VSGIR bit assignments are:
Bits [31:16]
Reserved, RES0.
vPEID, bits [15:0]
ID of target vPE
Writing this field is CONSTRAINED UNPREDICTABLE when GICR_VSGIPENDR.Busy == 1, with either the write ignored or a new query started.
Writing a value greater than the configured vPEID width behaviur is CONSTRAINED UNPREDICTABLE:
-
GICR_VPENDBASER.vPEID is treated as having an UNKNOWN valid value for all purposes other than a direct read of the register.
-
GICR_VPENDBASER.Valid is treated as being set to 0 for all purposes other than a direct read of the register.
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.
Accessing the GICR_VSGIR
64-bit access only.
GICR_VSGIR can be accessed through the memory-mapped interfaces:
Component | Frame | Offset | Instance |
---|---|---|---|
GIC Redistributor | VLPI_base | 0x0080 | GICR_VSGIR |
This interface is accessible as follows:
- When GICD_CTLR.DS == 0 accesses to this register are WO.
- When an access is Secure accesses to this register are WO.
- When an access is Non-secure accesses to this register are WO.