ENVY_CCS_GPIODIR2
(envy_ccs_read(sc, ENVY_CCS_GPIODIR2) << 16);
envy_ccs_write(sc, ENVY_CCS_GPIODIR2, (dir >> 16) & 0xff);