ICC_PPI_DOMAINR<n>_EL3 | Jon's Arm Reference

This register is present only when FEAT_GCIE is implemented, EL3 is implemented, and FEAT_AA64 is implemented. Otherwise, direct accesses to ICC_PPI_DOMAINR<n>_EL3 are UNDEFINED.

Attributes

Field descriptions

DOM<x>, bits [2x+1:2x], for x = 31 to 0:

Controls the Physical Interrupt Domain that PPI <(n * 32) + x> is assigned to.

If the physical PPI is assigned to an unimplemented Interrupt Domain, all of the following are true:

The physical PPI is not selected as the candidate HPPI in any Interrupt Domain.
Access to the state and configuration of the PPI using an ICC_PPI_ System register is only permitted at EL3.
Attempts to deactivate the PPI by executing a GIC xDDI System instruction are treated as NOPs.

DOM<x>	Meaning
0b00	Secure
0b01	Non-secure
0b10	EL3
0b11	Realm

The reset behavior of this field is:

On a Warm reset, this field resets to an UNKNOWN value.

Accessing this field has the following behavior:

When !IsPPIImplemented((n * 32) + x), access to this field is RAZ/WI.
Otherwise, access to this field is RW.

Access Instructions

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

MRS <Xt>, ICC_PPI_DOMAINR<n>_EL3 ; Where n = 0-3

(op0 = 0b11, op1 = 0b110, CRn = 0b1100, CRm = 0b1000, op2 = 0b1:n[1:0])

let n:integer = UInt(op2[1:0]); 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_PPI_DOMAINR_EL3(n); end;

MSR ICC_PPI_DOMAINR<n>_EL3, <Xt> ; Where n = 0-3

(op0 = 0b11, op1 = 0b110, CRn = 0b1100, CRm = 0b1000, op2 = 0b1:n[1:0])

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
DOM31		DOM30		DOM29		DOM28		DOM27		DOM26		DOM25		DOM24		DOM23		DOM22		DOM21		DOM20		DOM19		DOM18		DOM17		DOM16
DOM15		DOM14		DOM13		DOM12		DOM11		DOM10		DOM9		DOM8		DOM7		DOM6		DOM5		DOM4		DOM3		DOM2		DOM1		DOM0

ICC_PPI_DOMAINR<n>_EL3, n = 0 - 3

Configuration

Attributes

Field descriptions

DOM<x>, bits [2x+1:2x], for x = 31 to 0:

Access Instructions