/* Enable the output direction of the specified GPIO.  */
int32_t gpio_direction_output(gpio_desc *desc, uint8_t value)
/* Enable the output direction of the specified GPIO.  */
int32_t gpio_direction_output(gpio_desc *desc, uint8_t value)
{
	if (desc) {
	}
	if (value) {
	}
	return 0;
}