wdtpci_stop       478 drivers/watchdog/wdt_pci.c 		wdtpci_stop();
wdtpci_stop       555 drivers/watchdog/wdt_pci.c 		wdtpci_stop();