Searched refs:icc_idr0 (Results 1 – 1 of 1) sorted by relevance
1088 u64 icc_idr0 = read_sysreg_s(SYS_ICC_IDR0_EL1); in gicv5_set_cpuif_pribits() local1090 switch (FIELD_GET(ICC_IDR0_EL1_PRI_BITS, icc_idr0)) { in gicv5_set_cpuif_pribits()1106 u32 icc_idr0 = read_sysreg_s(SYS_ICC_IDR0_EL1); in gicv5_set_cpuif_idbits() local1108 switch (FIELD_GET(ICC_IDR0_EL1_ID_BITS, icc_idr0)) { in gicv5_set_cpuif_idbits()