if(atomic_read(&extracting) != 0) { return -EBUSY; } 
cpci_hp_unregister_controller(struct cpci_hp_controller *old_controller){	int status = 0;	if(controller) {		if(!thread_finished) {			cpci_stop_thread();		}		if(controller->irq) {			free_irq(controller->irq, controller->dev_id);		}		controller = NULL;	} else {		status = -ENODEV;	}	return status;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/43b7d7cfb157b5c8c5cc0933f4e96fd81adc81ca/cpci_hotplug_core.c/buggy/drivers/pci/hotplug/cpci_hotplug_core.c