dbg("Our event thread pid = %d\n", pid); 
int pciehp_event_start_thread(void){	int pid;	/* initialize our semaphores */	init_MUTEX_LOCKED(&event_exit);	event_finished=0;	init_MUTEX_LOCKED(&event_semaphore);	pid = kernel_thread(event_thread, NULL, 0);	if (pid < 0) {		err ("Can't start up our event thread\n");		return -1;	}	dbg("Our event thread pid = %d\n", pid);	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/1a9ed1bfe2fb17cc30227a12a3c1212128bb78b6/pciehp_ctrl.c/buggy/drivers/pci/hotplug/pciehp_ctrl.c