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