wdtpci_ctr_load   155 drivers/watchdog/wdt_pci.c 	wdtpci_ctr_load(0, 20833);	/* count at 100Hz */
wdtpci_ctr_load   156 drivers/watchdog/wdt_pci.c 	wdtpci_ctr_load(1, wd_heartbeat);/* Heartbeat */
wdtpci_ctr_load   179 drivers/watchdog/wdt_pci.c 	wdtpci_ctr_load(2, 0);		/* 0 length reset pulses now */
wdtpci_ctr_load   201 drivers/watchdog/wdt_pci.c 	wdtpci_ctr_load(1, wd_heartbeat);/* Heartbeat */