Symbol: wdsprint
sys/dev/isa/wds.c
167
int wdsprint(void *, const char *);
sys/dev/isa/wds.c
298
config_found(self, &saa, wdsprint);