← Home

ICH_PPI_PRIORITYR<n>_EL2, n = 0 - 15

Interrupt Controller Virtual Interrupt Priority Registers

Priority of virtual PPIs.

Configuration

AArch64 System register ICH_PPI_PRIORITYR<n>_EL2 bits [63:0] are architecturally mapped to AArch64 System register ICV_PPI_PRIORITYR<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_PRIORITYR<n>_EL2 are UNDEFINED.

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

Attributes

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

Field descriptions

6362616059585756555453525150494847464544434241403938373635343332
313029282726252423222120191817161514131211109876543210
RES0PRIORITY7RES0PRIORITY6RES0PRIORITY5RES0PRIORITY4
RES0PRIORITY3RES0PRIORITY2RES0PRIORITY1RES0PRIORITY0

Bits [63:61, 55:53, 47:45, 39:37, 31:29, 23:21, 15:13, 7:5]:

Reserved, RES0.

PRIORITY<x>, bits [60:56, 52:48, 44:40, 36:32, 28:24, 20:16, 12:8, 4:0], for x = 7 to 0, where each field is 5 bits wide :

The priority of virtual PPI <(n * 8) + x>.

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_PRIORITYR<n>_EL2 ; Where n = 0-15

(op0 = 0b11, op1 = 0b100, CRn = 0b1100, CRm = 0b111:n[3], op2 = n[2:0])

let n:integer = UInt(CRm[0] :: op2[2: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 {'1x1'} && (!IsFeatureImplemented(FEAT_GCIE_LEGACY) || (IsFeatureImplemented(FEAT_GCIE_LEGACY) && ICH_VCTLR_EL2().V3 == '0')) then X{64}(t) = NVMem(0xB80 + (8 * n)); elsif 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_PRIORITYR_EL2(n); elsif PSTATE.EL == EL3 then X{64}(t) = ICH_PPI_PRIORITYR_EL2(n); end;

MSR ICH_PPI_PRIORITYR<n>_EL2, <Xt> ; Where n = 0-15

(op0 = 0b11, op1 = 0b100, CRn = 0b1100, CRm = 0b111:n[3], op2 = n[2:0])

let n:integer = UInt(CRm[0] :: op2[2: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 {'1x1'} && (!IsFeatureImplemented(FEAT_GCIE_LEGACY) || (IsFeatureImplemented(FEAT_GCIE_LEGACY) && ICH_VCTLR_EL2().V3 == '0')) then NVMem(0xB80 + (8 * n)) = X{64}(t); elsif 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_PRIORITYR_EL2(n) = X{64}(t); elsif PSTATE.EL == EL3 then ICH_PPI_PRIORITYR_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.