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