GICD_IROUTER
gicd_write_8(sc, GICD_IROUTER(is->is_irq), irouter);
const uint64_t irouter = gicd_read_8(sc, GICD_IROUTER(irq));
gicd_write_8(sc, GICD_IROUTER(irq), irouter);