at91pio_pin_write
sc->gpio_chipset.gp_pin_write = at91pio_pin_write;
static void at91pio_pin_write(void *, int, int);