PL061_GPIOIBE_REG
ibe = PLGPIO_READ(sc, PL061_GPIOIBE_REG);
PLGPIO_WRITE(sc, PL061_GPIOIBE_REG, ibe);