int rc;  rc = class_register(&i2o_device_class); if (rc) return rc;  return class_interface_register(&i2o_device_class_interface); }; 
return class_register(&i2o_device_class); } 
int i2o_device_init(void){	int rc;	rc = class_register(&i2o_device_class);	if (rc)		return rc;	return class_interface_register(&i2o_device_class_interface);};
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4f5ca09e0b854a29b17401f59487664ae3b21aa4/device.c/buggy/drivers/message/i2o/device.c