tvp5150_init (void) 
static int __init tvp5150_init(void) 
tvp5150_init (void){	return i2c_add_driver(&driver);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/a6c2ba283565dbc9f055dcb2ecba1971460bb535/tvp5150.c/buggy/drivers/media/video/tvp5150.c