/* Called while unloading a successfully installed watchdog module.  */
static void __exit watchdog_exit(void)
/* Called while unloading a successfully installed watchdog module.  */
static void __exit watchdog_exit(void)
{
	ali_stop();
	misc_deregister(&ali_miscdev);
	unregister_reboot_notifier(&ali_notifier);
	pci_dev_put(ali_pci);
}