nfsd4_encode_replay
nfsd4_encode_replay(resp->xdr, op);
void nfsd4_encode_replay(struct xdr_stream *xdr, struct nfsd4_op *op);