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