Symbol: ICH_WDT_RELOAD_TIMEOUT
sys/dev/pci/ichwdt.c
127
if (reg & ICH_WDT_RELOAD_TIMEOUT) {
sys/dev/pci/ichwdt.c
132
ICH_WDT_RELOAD_TIMEOUT);