if(controller->irq) { 
if (controller->irq) 
cpci_stop_thread(void){	thread_finished = 1;	dbg("thread finish command given");	if(controller->irq) {		up(&event_semaphore);	}	dbg("wait for thread to exit");	down(&thread_exit);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/bcc488ab02254a6e60d749187a632dc3d642d4f8/cpci_hotplug_core.c/clean/drivers/pci/hotplug/cpci_hotplug_core.c