wdtpci_ping       371 drivers/watchdog/wdt_pci.c 		wdtpci_ping();
wdtpci_ping       421 drivers/watchdog/wdt_pci.c 		wdtpci_ping();
wdtpci_ping       428 drivers/watchdog/wdt_pci.c 		wdtpci_ping();
wdtpci_ping       481 drivers/watchdog/wdt_pci.c 		wdtpci_ping();