ENVY_CCS_GPIODATA2
(envy_ccs_read(sc, ENVY_CCS_GPIODATA2) << 16);
envy_ccs_write(sc, ENVY_CCS_GPIODATA2, (reg >> 16) & 0xff);