GPIO_INT_STA
val = bus_read_4(sc->mem_res, GPIO_INT_STA +
bus_write_4(sc->mem_res, GPIO_INT_STA + GPIO_REGNUM(i), 0xFF);