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