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