if (videocodec_buf) kfree(videocodec_buf); 
kfree(videocodec_buf); 
videocodec_exit (void){#ifdef CONFIG_PROC_FS	remove_proc_entry("videocodecs", NULL);	if (videocodec_buf)		kfree(videocodec_buf);#endif}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/2ea7533060e361810c21b2f5ee02151c4dfb85d8/videocodec.c/clean/drivers/media/video/videocodec.c