Symbol: ENVY_CCS_GPIOMASK2
sys/dev/pci/envy.c
1126
(envy_ccs_read(sc, ENVY_CCS_GPIOMASK2) << 16);
sys/dev/pci/envy.c
1137
envy_ccs_write(sc, ENVY_CCS_GPIOMASK2, (mask >> 16) & 0xff);