ENVY_CCI_GPIOMASK
return envy_cci_read(sc, ENVY_CCI_GPIOMASK);
envy_cci_write(sc, ENVY_CCI_GPIOMASK, mask);