dbg("event_thread finish command given\n"); 
void pciehp_event_stop_thread(void){	event_finished = 1;	dbg("event_thread finish command given\n");	up(&event_semaphore);	dbg("wait for event_thread to exit\n");	down(&event_exit);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/1a9ed1bfe2fb17cc30227a12a3c1212128bb78b6/pciehp_ctrl.c/clean/drivers/pci/hotplug/pciehp_ctrl.c