#ifdef CONFIG_NFSD_V4 
static void __exit exit_nfsd(void){	nfsd_export_shutdown();	nfsd_cache_shutdown();	remove_proc_entry("fs/nfs/exports", NULL);	remove_proc_entry("fs/nfs", NULL);	nfsd_stat_shutdown();	nfsd_lockd_shutdown();#ifdef CONFIG_NFSD_V4	nfsd_idmap_shutdown();#endif /* CONFIG_NFSD_V4 */	unregister_filesystem(&nfsd_fs_type);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/bd0b1e954e3ba3e5d2cab941458cf98206471bd2/nfsctl.c/clean/fs/nfsd/nfsctl.c