at91pio_print
config_attach(parent, cf, &paa, at91pio_print, CFARGS_NONE);
static int at91pio_print(void *, const char *);