/* mux the pin to the gpio controller (instead of "A" or "B" peripheral), and configure it for an output.  */
int at91_set_pio_output(unsigned port, u32 pin, int value)
/* mux the pin to the gpio controller (instead of "A" or "B" peripheral), and configure it for an output.  */
int at91_set_pio_output(unsigned port, u32 pin, int value)
{
	struct at91_port *at91_port = at91_pio_get_port(port);
	if (at91_port && (pin < GPIO_PER_BANK))
		at91_set_port_output(at91_port, pin, value);
	return 0;
}