tvp5150_exit (void) 
static void __exit tvp5150_exit(void) 
tvp5150_exit (void){	i2c_del_driver(&driver);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/a6c2ba283565dbc9f055dcb2ecba1971460bb535/tvp5150.c/buggy/drivers/media/video/tvp5150.c