OP_RESTOREFH
encode_op_hdr(xdr, OP_RESTOREFH, decode_restorefh_maxsz, hdr);
return decode_op_hdr(xdr, OP_RESTOREFH);
else if (op->opnum == OP_RESTOREFH)
[OP_RESTOREFH] = {
[OP_RESTOREFH] = nfsd4_decode_noop,
[OP_RESTOREFH] = nfsd4_encode_noop,