nfs_clear_request(req); nfs_release_request(req); 
static void nfs_readpage_release(struct nfs_page *req){	unlock_page(req->wb_page);	nfs_clear_request(req);	nfs_release_request(req);	dprintk("NFS: read done (%s/%Ld %d@%Ld)\n",			req->wb_context->dentry->d_inode->i_sb->s_id,			(long long)NFS_FILEID(req->wb_context->dentry->d_inode),			req->wb_bytes,			(long long)req_offset(req));}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/10d2c46f9408d404bffef89d5052953a3b1d9288/read.c/buggy/fs/nfs/read.c