fddprint           93 dev/isa/fdc.c  int fddprint(void *, const char *);
fddprint          196 dev/isa/fdc.c  		(void)config_found(self, (void *)&fa, fddprint);