Symbol: PORT_GPIO_MASK
sys/dev/pci/maestro.c
1317
PORT_GPIO_MASK, 0xff6);
sys/dev/pci/maestro.c
805
PORT_GPIO_MASK, 0x9ff);