int gpio_set_value(unsigned gpio, int value) { atmel_pio4_set_pio_output(at91_gpio_to_port(gpio), at91_gpio_to_pin(gpio), value); return 0; }
static void board_usb_hw_init(void) { atmel_pio4_set_pio_output(AT91_PIO_PORTB, 10, 1); }