} else { 
else 
cpci_start_thread(void){	int pid;	/* initialize our semaphores */	init_MUTEX_LOCKED(&event_semaphore);	init_MUTEX_LOCKED(&thread_exit);	thread_finished = 0;	if(controller->irq) {		pid = kernel_thread(event_thread, NULL, 0);	} else {		pid = kernel_thread(poll_thread, NULL, 0);	}	if(pid < 0) {		err("Can't start up our thread");		return -1;	}	dbg("Our thread pid = %d", pid);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/bcc488ab02254a6e60d749187a632dc3d642d4f8/cpci_hotplug_core.c/clean/drivers/pci/hotplug/cpci_hotplug_core.c