}; 
} 
static void i2o_device_release(struct device *dev){	struct i2o_device *i2o_dev = to_i2o_device(dev);	pr_debug("i2o: device %s released\n", dev->bus_id);	kfree(i2o_dev);};
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4f5ca09e0b854a29b17401f59487664ae3b21aa4/device.c/buggy/drivers/message/i2o/device.c