--- linux/include/linux/videodev.h.org	Fri May 18 15:56:32 2001
+++ linux/include/linux/videodev.h	Fri May 18 16:45:03 2001
@@ -33,7 +33,6 @@
 	devfs_handle_t devfs_handle;
 };
 
-extern int videodev_init(void);
 #define VIDEO_MAJOR	81
 extern int video_register_device(struct video_device *, int type);
 
--- linux/drivers/media/video/videodev.c.org	Fri May 18 16:18:45 2001
+++ linux/drivers/media/video/videodev.c	Fri May 18 16:37:44 2001
@@ -575,8 +575,10 @@
 
 static void __exit videodev_exit(void)
 {
+#ifdef MODULE		
 #if defined(CONFIG_PROC_FS) && defined(CONFIG_VIDEO_PROC_FS)
 	videodev_proc_destroy ();
+#endif
 #endif
 	
 	devfs_unregister_chrdev(VIDEO_MAJOR, "video_capture");