Symbol: wdtpci_set_heartbeat
drivers/watchdog/wdt_pci.c
426
if (wdtpci_set_heartbeat(new_heartbeat))
drivers/watchdog/wdt_pci.c
649
if (wdtpci_set_heartbeat(heartbeat)) {
drivers/watchdog/wdt_pci.c
650
wdtpci_set_heartbeat(WD_TIMO);