Searched refs:GICC_RPR (Results 1 – 2 of 2) sorted by relevance
107 return mmio_read_32(base + GICC_RPR); in gicc_read_rpr()
63 #define GICC_RPR U(0x14) macro