gic_c_read_4 - FreeBSD

1194

gic_c_read_4(sc, GICC_CTLR), gic_c_read_4(sc, GICC_PMR),

1195

gic_c_read_4(sc, GICC_BPR), gic_c_read_4(sc, GICC_RPR));

1196

db_printf("HPPIR: %08x IIDR: %08x\n", gic_c_read_4(sc, GICC_HPPIR),

1197

gic_c_read_4(sc, GICC_IIDR));

561

irq_active_reg = gic_c_read_4(sc, GICC_IAR);

625

irq_active_reg = gic_c_read_4(sc, GICC_IAR);