status = nfsd4_rec_fsync(rec_dir.dentry); 
nfsd4_sync_rec_dir(); 
nfsd4_recdir_purge_old(void) {	int status;	if (!rec_dir_init)		return;	status = nfsd4_list_rec_dir(rec_dir.dentry, purge_old);	if (status == 0)		status = nfsd4_rec_fsync(rec_dir.dentry);	if (status)		printk("nfsd4: failed to purge old clients from recovery"			" directory %s\n", rec_dir.dentry->d_name.name);	return;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/a6ccbbb8865101d83c2e716f08feae1da1c48584/nfs4recover.c/buggy/fs/nfsd/nfs4recover.c