GPIO012_PIN_TO_BIT  182 drivers/gpio/gpio-lpc32xx.c 		gpreg_write(group, GPIO012_PIN_TO_BIT(pin),
GPIO012_PIN_TO_BIT  185 drivers/gpio/gpio-lpc32xx.c 		gpreg_write(group, GPIO012_PIN_TO_BIT(pin),
GPIO012_PIN_TO_BIT  204 drivers/gpio/gpio-lpc32xx.c 		gpreg_write(group, GPIO012_PIN_TO_BIT(pin),
GPIO012_PIN_TO_BIT  207 drivers/gpio/gpio-lpc32xx.c 		gpreg_write(group, GPIO012_PIN_TO_BIT(pin),