ENVY_CCS_GPIODIR1
(envy_ccs_read(sc, ENVY_CCS_GPIODIR1) << 8) |
envy_ccs_write(sc, ENVY_CCS_GPIODIR1, (dir >> 8) & 0xff);