dprintk("%s: returns %d\n", __FUNCTION__, status); 
static int _nfs4_proc_readdir(struct dentry *dentry, struct rpc_cred *cred,                  u64 cookie, struct page *page, unsigned int count, int plus){	struct inode		*dir = dentry->d_inode;	struct nfs4_readdir_arg args = {		.fh = NFS_FH(dir),		.pages = &page,		.pgbase = 0,		.count = count,		.bitmask = NFS_SERVER(dentry->d_inode)->attr_bitmask,	};	struct nfs4_readdir_res res;	struct rpc_message msg = {		.rpc_proc = &nfs4_procedures[NFSPROC4_CLNT_READDIR],		.rpc_argp = &args,		.rpc_resp = &res,		.rpc_cred = cred,	};	int			status;	lock_kernel();	nfs4_setup_readdir(cookie, NFS_COOKIEVERF(dir), dentry, &args);	res.pgbase = args.pgbase;	status = rpc_call_sync(NFS_CLIENT(dir), &msg, 0);	if (status == 0)		memcpy(NFS_COOKIEVERF(dir), res.verifier.data, NFS4_VERIFIER_SIZE);	unlock_kernel();	return status;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/eadf4598e7ec37a234e70e965bd335860e58bda4/nfs4proc.c/clean/fs/nfs/nfs4proc.c