pci_dev_put(esb_pci); 
static void __exit watchdog_cleanup (void){	/* Stop the timer before we leave */	if (!nowayout)		esb_timer_stop ();	/* Deregister */	misc_deregister(&esb_miscdev);        unregister_reboot_notifier(&esb_notifier);	iounmap(BASEADDR);	pci_release_region(esb_pci, 0);	pci_disable_device(esb_pci);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/c69af038cad5e6ea86e927a17b70b49af1f7cbfa/i6300esb.c/buggy/drivers/char/watchdog/i6300esb.c