ICH_WDT_RELOAD_TIMEOUT  124 dev/pci/ichwdt.c 	if (reg & ICH_WDT_RELOAD_TIMEOUT) {
ICH_WDT_RELOAD_TIMEOUT  129 dev/pci/ichwdt.c 		    ICH_WDT_RELOAD_TIMEOUT);