dbg("event_thread finish command given\n"); 
void shpchp_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);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/7c8942f993dc069db0e0327a343bbec8a6e96074/shpchp_ctrl.c/clean/drivers/pci/hotplug/shpchp_ctrl.c