GPIO3_PIN_TO_BIT  192 drivers/gpio/gpio-lpc32xx.c 	u32 u = GPIO3_PIN_TO_BIT(pin);
GPIO3_PIN_TO_BIT  214 drivers/gpio/gpio-lpc32xx.c 	u32 u = GPIO3_PIN_TO_BIT(pin);