class_interface_register(&i2o_device_class_interface); 
void i2o_device_exit(void){	class_interface_register(&i2o_device_class_interface);	class_unregister(&i2o_device_class);};
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4f5ca09e0b854a29b17401f59487664ae3b21aa4/device.c/buggy/drivers/message/i2o/device.c