GICD_SGIR
gicd_write(&armgic_softc, GICD_SGIR, machdep);
gicd_write(sc, GICD_SGIR, sgir);
#define GICv1_ICDSGIR GICD_SGIR
bus_space_write_4(gicd_bst, gicd_bsh, GICD_SGIR, sgir);