dprintk(1,"tvp5150: writing 0x%02x 0x%02x\n",buffer[0],buffer[1]); 
dprintk(1, "tvp5150: writing 0x%02x 0x%02x\n", buffer[0], buffer[1]); 
static inline void tvp5150_write(struct i2c_client *c, unsigned char addr,				 unsigned char value){	unsigned char buffer[2];	int rc;/*	struct tvp5150 *core = i2c_get_clientdata(c); */	buffer[0] = addr;	buffer[1] = value;	dprintk(1,"tvp5150: writing 0x%02x 0x%02x\n",buffer[0],buffer[1]);	if (2 != (rc = i2c_master_send(c, buffer, 2)))		dprintk(0, "i2c i/o error: rc == %d (should be 2)\n", rc);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/a6c2ba283565dbc9f055dcb2ecba1971460bb535/tvp5150.c/buggy/drivers/media/video/tvp5150.c