remove_proc_entry("isdn", proc_net); 
remove_proc_entry("net/isdn", NULL); 
divert_dev_deinit(void){#ifdef CONFIG_PROC_FS	remove_proc_entry("divert", isdn_proc_entry);	remove_proc_entry("isdn", proc_net);#endif	/* CONFIG_PROC_FS */	return (0);}				/* divert_dev_deinit */
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/666002218d59db271e5c1ede1d80227170c51987/divert_procfs.c/buggy/drivers/isdn/divert/divert_procfs.c