status = nfs_wait_on_sequence(args->seqid, req->rq_task); if (status != 0) goto out; 
static int nfs4_xdr_enc_close(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_close(&xdr, args);out:        return status;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/9512135df14f8293b9bc5e8fb22d4279dee5ff66/nfs4xdr.c/buggy/fs/nfs/nfs4xdr.c