decode_free_stateid_maxsz 907 fs/nfs/nfs4xdr.c decode_free_stateid_maxsz) decode_free_stateid_maxsz 2081 fs/nfs/nfs4xdr.c encode_op_hdr(xdr, OP_FREE_STATEID, decode_free_stateid_maxsz, hdr);