__set_gpio_level_p3  328 drivers/gpio/gpio-lpc32xx.c 	__set_gpio_level_p3(group, pin, value);
__set_gpio_level_p3  356 drivers/gpio/gpio-lpc32xx.c 	__set_gpio_level_p3(group, pin, value);