GICC_IAR
uint32_t iar = gicc_read(sc, GICC_IAR);
iar = gicc_read(sc, GICC_IAR);
#define GICv1_ICCIAR GICC_IAR