Symbol: lpc32xx_gpio_set_value_p012