Interrupt Controller Physical Highest Priority Pending Interrupt Register (EL3)
Reports the HPPI for the EL3 Interrupt Domain.
This register is present only when FEAT_GCIE is implemented, EL3 is implemented, and FEAT_AA64 is implemented. Otherwise, direct accesses to ICC_HPPIR_EL3 are UNDEFINED.
ICC_HPPIR_EL3 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 |
| RES0 | HPPIV | ||||||||||||||||||||||||||||||
| TYPE | RES0 | ID | |||||||||||||||||||||||||||||
Reserved, RES0.
HPPI valid.
There is an HPPI with Sufficient priority for the Interrupt Domain.
| HPPIV | Meaning |
|---|---|
| 0b0 |
Invalid: There is no HPPI with Sufficient priority for the Interrupt Domain. |
| 0b1 |
VALID: There is an HPPI with Sufficient priority for the Interrupt Domain. |
If ICC_HPPIR_EL3.HPPIV is 1, ID and TYPE together form the INTID of the HPPI for the Interrupt Domain.
The encoding of this field depends on the value of HPPIV as described below:
If ICC_HPPIR_EL3.HPPIV is 0, TYPE is RES0.
If ICC_HPPIR_EL3.HPPIV is 1, TYPE specifies the Type of the interrupt.
| TYPE | Meaning |
|---|---|
| 0b001 |
PPI |
| 0b010 |
LPI |
| 0b011 |
SPI |
Values not defined above are reserved.
Reserved, RES0.
The encoding of this field depends on the value of HPPIV as described below:
If ICC_HPPIR_EL3.HPPIV is 0, ID is RES0.
If ICC_HPPIR_EL3.HPPIV is 1, ID specifies the interrupt ID.
This register is Read-only.
Accesses to this register use the following encodings in the System register encoding space:
MRS <Xt>, ICC_HPPIR_EL3
(op0 = 0b11, op1 = 0b110, CRn = 0b1100, CRm = 0b1001, op2 = 0b001)
if !(IsFeatureImplemented(FEAT_GCIE) && HaveEL(EL3) && IsFeatureImplemented(FEAT_AA64)) then Undefined(); elsif PSTATE.EL == EL0 then Undefined(); elsif PSTATE.EL == EL1 then Undefined(); elsif PSTATE.EL == EL2 then Undefined(); elsif PSTATE.EL == EL3 then X{64}(t) = ICC_HPPIR_EL3(); end;
Version 2026.06 — Copyright © 2010-2026 Arm Limited or its affiliates.
This site is provided as a community resource and is NOT affiliated with nor endorsed by Arm Limited.