GICD_IROUTER
gic_d_write(sc, 8, GICD_IROUTER(gi->gi_irq),
gic_d_write(sc, 8, GICD_IROUTER(gi->gi_irq), CPU_AFFINITY(cpu));
gic_d_write(sc, 8, GICD_IROUTER(i), aff);
n = (reg - GICD_IROUTER(0)) / 8;
n = (reg - GICD_IROUTER(0)) / 8;
VGIC_REGISTER_RANGE(GICD_IROUTER(32), GICD_IROUTER(1024), 8,