PIC_GIO32ARB_SLOT1
reg = bus_space_read_4(psc.iot, psc.ioh, PIC_GIO32ARB_SLOT1);
bus_space_write_4(psc.iot, psc.ioh, PIC_GIO32ARB_SLOT1, reg);
PIC_GIO32ARB_SLOT0 : PIC_GIO32ARB_SLOT1);
PIC_GIO32ARB_SLOT0 : PIC_GIO32ARB_SLOT1, reg);