gicd_write_8
gicd_write_8(sc, GICD_IROUTER(is->is_irq), irouter);
gicd_write_8(sc, GICD_IROUTER(irq), irouter);