time_to_done      541 dev/ic/wdc.c   	int time_to_done;
time_to_done      557 dev/ic/wdc.c   	time_to_done = wdc_wait_for_status(chp,
time_to_done      560 dev/ic/wdc.c   	if (time_to_done == -1) {
time_to_done      587 dev/ic/wdc.c   	    chp->channel, drive, time_to_done), DEBUG_PROBE);