PLGPIO_WRITE
PLGPIO_WRITE(sc, PL061_GPIOIBE_REG, ibe);
PLGPIO_WRITE(sc, PL061_GPIOIEV_REG, iev);
PLGPIO_WRITE(sc, PL061_GPIOIS_REG, is);
PLGPIO_WRITE(sc, PL061_GPIOIC_REG, __BIT(pin));
PLGPIO_WRITE(sc, PL061_GPIOIE_REG, ie);
PLGPIO_WRITE(sc, PL061_GPIOIC_REG, mis);
PLGPIO_WRITE(sc, PL061_GPIOAFSEL_REG, cnf & ~__BIT(pin));
PLGPIO_WRITE(sc, PL061_GPIODIR_REG, v);
PLGPIO_WRITE(sc, PL061_GPIODIR_REG, v);
PLGPIO_WRITE(sc, PL061_GPIODATA_REG(1 << pin), val << pin);