status = nfs_wait_on_sequence(args->seqid, req->rq_task); if (status != 0) goto out; 
static int nfs4_xdr_enc_open_downgrade(struct rpc_rqst *req, uint32_t *p, struct nfs_closeargs *args){	struct xdr_stream xdr;	struct compound_hdr hdr = {		.nops	= 2,	};	int status;	status = nfs_wait_on_sequence(args->seqid, req->rq_task);	if (status != 0)		goto out;	xdr_init_encode(&xdr, &req->rq_snd_buf, p);	encode_compound_hdr(&xdr, &hdr);	status = encode_putfh(&xdr, args->fh);	if (status)		goto out;	status = encode_open_downgrade(&xdr, args);out:	return status;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/9512135df14f8293b9bc5e8fb22d4279dee5ff66/nfs4xdr.c/buggy/fs/nfs/nfs4xdr.c