Searched refs:ICC_RPR (Results 1 – 2 of 2) sorted by relevance
27 #define ICC_RPR __ACCESS_CP15(c12, 0, c11, 3) macro132 return read_sysreg(ICC_RPR); in gic_read_rpr()
137 gicv3_icc_rpr_read(uint32_t cpu, uint64_t val) "GICv3 ICC_RPR read cpu 0x%x value 0x%" PRIx64