at91pio_pin_read
sc->gpio_chipset.gp_pin_read = at91pio_pin_read;
static int at91pio_pin_read(void *, int);