wdcdebug_pciide_mask   86 dev/pci/pciide.c int wdcdebug_pciide_mask = WDCDEBUG_PCIIDE_MASK;
wdcdebug_pciide_mask   88 dev/pci/pciide.c 	if ((wdcdebug_pciide_mask & (level)) != 0)	\