flush_nfs_fhandle_cache
flush_nfs_fhandle_cache((fserver *) 0);
flush_nfs_fhandle_cache(fs);
extern void flush_nfs_fhandle_cache(fserver *);