op_encode_verifier_maxsz
return (op_encode_hdr_size + op_encode_verifier_maxsz) * sizeof(__be32);
return (op_encode_hdr_size + op_encode_verifier_maxsz +
return (op_encode_hdr_size + 2 + op_encode_verifier_maxsz) * sizeof(__be32);
op_encode_verifier_maxsz +
op_encode_verifier_maxsz +