dbg("pci_unregister_driver\n"); 
static void __exit shpcd_cleanup(void){	dbg("unload_shpchpd()\n");	unload_shpchpd();	dbg("pci_unregister_driver\n");	pci_unregister_driver(&shpc_driver);	info(DRIVER_DESC " version: " DRIVER_VERSION " unloaded\n");}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/7c8942f993dc069db0e0327a343bbec8a6e96074/shpchp_core.c/buggy/drivers/pci/hotplug/shpchp_core.c