GICR_VSGIPENDR, Redistributor virtual SGI pending state register
The GICR_VSGIPENDR characteristics are:
Requests the pending state of virtual SGIs for a specified vPE.
This register is present only when GICv4.1 is implemented. Otherwise, direct accesses to GICR_VSGIPENDR are RES0.
A copy of this register is provided for each Redistributor.
GICR_VSGIPENDR is a 32-bit register.
The GICR_VSGIPENDR bit assignments are:
Busy, bit 
ID of target vPEID
Query of virtual SGI state not in progress.
Query of virtual SGI state in progress.
Pending, bits [15:0]
Pending state of virtual SGIs for requested vPEID.
This field is UNKNOWN when GICR_VSGIPENDR.Busy == 1
Accessing the GICR_VSGIPENDR
64-bit access only.
GICR_VSGIPENDR can be accessed through the memory-mapped interfaces:
This interface is accessible as follows:
- When GICD_CTLR.DS == 0b0 accesses to this register are RO.
- When IsAccessSecure() accesses to this register are RO.
- When !IsAccessSecure() accesses to this register are RO.