at91pio_read
int at91pio_read(struct at91pio_softc *, int bit);
return at91pio_read(sc->sc_pioc, 4) == 0;
return at91pio_read(sc->sc_pioc, 3);