VERBOSE          1027 dev/ic/wdc.c   	(void) wdcreset(chp, VERBOSE);
VERBOSE           471 dev/pcmcia/wdc_pcmcia.c 		wdcreset(&sc->wdc_channel, VERBOSE);
VERBOSE           511 dev/pcmcia/wdc_pcmcia.c 			wdcreset(&sc->wdc_channel, VERBOSE);