 info(DRIVER_DESC " version: " DRIVER_VERSION); 
cpci_hotplug_init(int debug){	spin_lock_init(&list_lock);	cpci_debug = debug;	info(DRIVER_DESC " version: " DRIVER_VERSION);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/43b7d7cfb157b5c8c5cc0933f4e96fd81adc81ca/cpci_hotplug_core.c/buggy/drivers/pci/hotplug/cpci_hotplug_core.c