PL061_GPIODATA_REG
const uint32_t v = PLGPIO_READ(sc, PL061_GPIODATA_REG(1<<pin));
PLGPIO_WRITE(sc, PL061_GPIODATA_REG(1 << pin), val << pin);