Symbol: ICH_WDT_CONF_PRE
sys/dev/pci/ichwdt.c
117
sc->sc_divisor = (reg & ICH_WDT_CONF_PRE ? 32 : 32768);
sys/dev/pci/ichwdt.c
118
printf(": %s clock", (reg & ICH_WDT_CONF_PRE ? "1MHz" : "1kHz"));