GPO3_PIN_TO_BIT   226 drivers/gpio/gpio-lpc32xx.c 		gpreg_write(group, GPO3_PIN_TO_BIT(pin), group->gpio_grp->outp_set);
GPO3_PIN_TO_BIT   228 drivers/gpio/gpio-lpc32xx.c 		gpreg_write(group, GPO3_PIN_TO_BIT(pin), group->gpio_grp->outp_clr);