gic_r_write
gic_r_write(sc, 4, GICR_WAKER, waker);
gic_r_write(sc, 4, GICR_SGI_BASE_SIZE + GICR_IGROUPR0,
gic_r_write(sc, 4, GICR_SGI_BASE_SIZE + GICR_ICENABLER0,
gic_r_write(sc, 4, GICR_SGI_BASE_SIZE + GICR_ISENABLER0,
gic_r_write(sc, 4, GICR_SGI_BASE_SIZE + GICD_IPRIORITYR(i),
gic_r_write(sc, 4,
gic_r_write(sc, 4, GICR_SGI_BASE_SIZE + GICD_ICENABLER(irq),
gic_r_write(sc, 4, GICR_SGI_BASE_SIZE + GICD_ISENABLER(irq),