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