Searched defs:icc_idr0 (Results 1 – 1 of 1) sorted by relevance
1028 u64 icc_idr0 = read_sysreg_s(SYS_ICC_IDR0_EL1); in gicv5_set_cpuif_pribits() local 1046 u32 icc_idr0 = read_sysreg_s(SYS_ICC_IDR0_EL1); in gicv5_set_cpuif_idbits() local