__set_gpio_level_p012  317 drivers/gpio/gpio-lpc32xx.c 	__set_gpio_level_p012(group, pin, value);
__set_gpio_level_p012  348 drivers/gpio/gpio-lpc32xx.c 	__set_gpio_level_p012(group, pin, value);