decode_free_stateid_maxsz
encode_op_hdr(xdr, OP_FREE_STATEID, decode_free_stateid_maxsz, hdr);
decode_free_stateid_maxsz)