← Home

ICH_PPI_PENDR<n>_EL2, n = 0 - 1

Interrupt Controller Virtual Interrupt Pending State Registers

Pending state for virtual PPIs.

Configuration

AArch64 System register ICH_PPI_PENDR<n>_EL2 bits [63:0] are architecturally mapped to AArch64 System register ICV_PPI_CPENDR<n>_EL1[63:0].

AArch64 System register ICH_PPI_PENDR<n>_EL2 bits [63:0] are architecturally mapped to AArch64 System register ICV_PPI_SPENDR<n>_EL1[63:0].

This register is present only when FEAT_GCIE is implemented, (EL2 is implemented or EL3 is implemented), and FEAT_AA64 is implemented. Otherwise, direct accesses to ICH_PPI_PENDR<n>_EL2 are UNDEFINED.

If EL2 is not implemented, this register is RES0 from EL3.

Attributes

ICH_PPI_PENDR<n>_EL2 is a 64-bit register.

Field descriptions

6362616059585756555453525150494847464544434241403938373635343332
313029282726252423222120191817161514131211109876543210
PEND63PEND62PEND61PEND60PEND59PEND58PEND57PEND56PEND55PEND54PEND53PEND52PEND51PEND50PEND49PEND48PEND47PEND46PEND45PEND44PEND43PEND42PEND41PEND40PEND39PEND38PEND37PEND36PEND35PEND34PEND33PEND32
PEND31PEND30PEND29PEND28PEND27PEND26PEND25PEND24PEND23PEND22PEND21PEND20PEND19PEND18PEND17PEND16PEND15PEND14PEND13PEND12PEND11PEND10PEND9PEND8PEND7PEND6PEND5PEND4PEND3PEND2PEND1PEND0

PEND<x>, bit [x], for x = 63 to 0:

Virtual PPI <(n * 64) + x> Pending state.

PEND<x>Meaning
0b0

Not pending

0b1

Pending

Accessing this field has the following behavior:

Access Instructions

Accesses to this register use the following encodings in the System register encoding space:

MRS <Xt>, ICH_PPI_PENDR<n>_EL2 ; Where n = 0-1

(op0 = 0b11, op1 = 0b100, CRn = 0b1100, CRm = 0b1010, op2 = 0b10:n[0])

let n:integer = UInt(op2[0]); if !(IsFeatureImplemented(FEAT_GCIE) && (HaveEL(EL2) || HaveEL(EL3)) && IsFeatureImplemented(FEAT_AA64)) then Undefined(); elsif PSTATE.EL == EL0 then Undefined(); elsif PSTATE.EL == EL1 then if EffectiveHCR_EL2_NVx() IN {'xx1'} && (!IsFeatureImplemented(FEAT_GCIE_LEGACY) || (IsFeatureImplemented(FEAT_GCIE_LEGACY) && ICH_VCTLR_EL2().V3 == '0')) then AArch64_SystemAccessTrap(EL2, 0x18); else Undefined(); end; elsif PSTATE.EL == EL2 then X{64}(t) = ICH_PPI_PENDR_EL2(n); elsif PSTATE.EL == EL3 then X{64}(t) = ICH_PPI_PENDR_EL2(n); end;

MSR ICH_PPI_PENDR<n>_EL2, <Xt> ; Where n = 0-1

(op0 = 0b11, op1 = 0b100, CRn = 0b1100, CRm = 0b1010, op2 = 0b10:n[0])

let n:integer = UInt(op2[0]); if !(IsFeatureImplemented(FEAT_GCIE) && (HaveEL(EL2) || HaveEL(EL3)) && IsFeatureImplemented(FEAT_AA64)) then Undefined(); elsif PSTATE.EL == EL0 then Undefined(); elsif PSTATE.EL == EL1 then if EffectiveHCR_EL2_NVx() IN {'xx1'} && (!IsFeatureImplemented(FEAT_GCIE_LEGACY) || (IsFeatureImplemented(FEAT_GCIE_LEGACY) && ICH_VCTLR_EL2().V3 == '0')) then AArch64_SystemAccessTrap(EL2, 0x18); else Undefined(); end; elsif PSTATE.EL == EL2 then ICH_PPI_PENDR_EL2(n) = X{64}(t); elsif PSTATE.EL == EL3 then ICH_PPI_PENDR_EL2(n) = X{64}(t); 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.