Searched refs:GICC_RPR (Results 1 – 2 of 2) sorted by relevance
| /rk3399_ARM-atf/drivers/arm/gic/v2/ | ||
| H A D | gicv2_private.h | 107 return mmio_read_32(base + GICC_RPR); in gicc_read_rpr() |
| /rk3399_ARM-atf/include/drivers/arm/ | ||
| H A D | gicv2.h | 74 #define GICC_RPR U(0x14) macro |