i2c_init(); 
res = i2c_init(); if (res < 0) return res; 
i2c_register(void){	int res;	i2c_init();  	res = register_chrdev(I2C_MAJOR, i2c_name, &i2c_fops);	if(res < 0) {		printk(KERN_ERR "i2c: couldn't get a major number.\n");		return res;	}	printk(KERN_INFO "I2C driver v2.2, (c) 1999-2001 Axis Communications AB\n");		return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/7e9204265b4ec6680fad9abc7a78b94087983916/i2c.c/buggy/arch/cris/arch-v10/drivers/i2c.c