}; 
} 
void i2o_device_remove(struct i2o_device *i2o_dev){	i2o_driver_notify_device_remove_all(i2o_dev);	class_device_unregister(&i2o_dev->classdev);	list_del(&i2o_dev->list);	device_unregister(&i2o_dev->device);};
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4f5ca09e0b854a29b17401f59487664ae3b21aa4/device.c/buggy/drivers/message/i2o/device.c