fddprint
(void)config_found(&fdc->sc_dev, (void *)&fa, fddprint);
int fddprint(void *, const char *);