gic_c_read_4
gic_c_read_4(sc, GICC_CTLR), gic_c_read_4(sc, GICC_PMR),
gic_c_read_4(sc, GICC_BPR), gic_c_read_4(sc, GICC_RPR));
db_printf("HPPIR: %08x IIDR: %08x\n", gic_c_read_4(sc, GICC_HPPIR),
gic_c_read_4(sc, GICC_IIDR));
irq_active_reg = gic_c_read_4(sc, GICC_IAR);
irq_active_reg = gic_c_read_4(sc, GICC_IAR);