Symbol: wbsio_print
sys/dev/isa/wbsio.c
232
config_found(self, &nia, wbsio_print);
sys/dev/isa/wbsio.c
47
int wbsio_print(void *, const char *);