at91cf_print
ph->ph_card = config_found(sc->sc_dev, &paa, at91cf_print, CFARGS_NONE);
static int at91cf_print(void *, const char *);