PORT_GPIO_MASK    858 dev/pci/maestro.c 		    PORT_GPIO_MASK, 0x9ff);
PORT_GPIO_MASK   1458 dev/pci/maestro.c 		    PORT_GPIO_MASK, 0xff6);