GICC_EOIR - FreeBSD

600

gic_c_write_4(sc, GICC_EOIR, irq_active_reg);

606

gic_c_write_4(sc, GICC_EOIR, irq_active_reg);

614

gic_c_write_4(sc, GICC_EOIR, irq_active_reg);

619

gic_c_write_4(sc, GICC_EOIR, irq_active_reg);

966

gic_c_write_4(sc, GICC_EOIR, gi->gi_irq);

988

gic_c_write_4(sc, GICC_EOIR, gi->gi_irq);