ENVY24_CCI_GPIOMASK
return envy24_rdci(sc, ENVY24_CCI_GPIOMASK);
envy24_wrci(sc, ENVY24_CCI_GPIOMASK, mask);