wdsprint          172 dev/isa/wds.c  int	wdsprint(void *, const char *);
wdsprint          334 dev/isa/wds.c  	config_found(self, &saa, wdsprint);