savedmask         632 dev/ic/wdc.c   	int savedmask = wdcdebug_mask;
savedmask         737 dev/ic/wdc.c   	wdcdebug_mask = savedmask;
savedmask         771 dev/ic/wdc.c   	int    savedmask = wdcdebug_mask;
savedmask         909 dev/ic/wdc.c   	wdcdebug_mask = savedmask;