osm_info("Event received from device: %d\n", evt->i2o_dev->lct_data.tid); 
if(likely(evt->i2o_dev)) osm_info("Event received from device: %d\n", evt->i2o_dev->lct_data.tid); 
static void i2o_exec_event(struct i2o_event *evt){	osm_info("Event received from device: %d\n",		 evt->i2o_dev->lct_data.tid);	kfree(evt);};
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/61fbfa8129c1771061a0e9f47747854293081c5b/exec-osm.c/buggy/drivers/message/i2o/exec-osm.c