The GICR_VSGIPENDR characteristics are:
Requests the pending state of virtual SGIs for a specified vPE.
This register is present only when FEAT_GICv4p1 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.
| 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 |
| Busy | RES0 | Pending | |||||||||||||||||||||||||||||
ID of target vPEID
| Busy | Meaning |
|---|---|
| 0b0 |
Query of virtual SGI state not in progress. |
| 0b1 |
Query of virtual SGI state in progress. |
Reserved, RES0.
Pending state of virtual SGIs for requested vPEID.
This field is UNKNOWN when GICR_VSGIPENDR.Busy == 1
| Component | Frame | Offset | Instance |
|---|---|---|---|
| GIC Redistributor | VLPI_base | 0x0088 | GICR_VSGIPENDR |
Accesses on this interface are RO.
04/07/2023 11:22; 1b994cb0b8c6d1ae5a9a15edbc8bd6ce3b5c7d68
Copyright © 2010-2023 Arm Limited or its affiliates. All rights reserved. This document is Non-Confidential.