/* Sets value to the selected output port pin.  */
void gpio_write(gpio_t *obj, int value)
/* Sets value to the selected output port pin.  */
void gpio_write(gpio_t *obj, int value)
{
	assert_param(obj->pin != (PinName)NC);
	GPIO_WriteBit(obj->pin, value);
}