tls_header_len
hdr_len = tls_header_len(en);
hdr_len = tls_header_len(en);
hdr_len = tls_header_len(en);
record_len = tls_header_len(en) + len + padding + tls_trailer_len(en);
tls_header_len(en), len, padding, tls_trailer_len(en));
outbuf_cap = tls_header_len(en) + TLS_MAX_MSG_SIZE_V10_2 +
outbuf_cap = tls_header_len(en) + len + tls_trailer_len(en);
outbuf_cap = tls_header_len(en) + tls_trailer_len(en);
outbuf_cap = tls_header_len(en) + TLS_MAX_MSG_SIZE_V10_2 +
outbuf_cap = tls_header_len(en) + len + tls_trailer_len(en);
ATF_REQUIRE(tls_header_len(en) > sizeof(struct tls_record_layer));
tls_header_len(en));
offset = tls_header_len(en) + len;
outbuf_cap = tls_header_len(en) + len + tls_trailer_len(en);
outbuf_cap = tls_header_len(en) + len + tls_trailer_len(en);
outbuf_cap = tls_header_len(en) + len + tls_trailer_len(en);
outbuf_cap = tls_header_len(en) + len + tls_trailer_len(en);
outbuf_cap = tls_header_len(en) + len + tls_trailer_len(en);
tls_header_len(&en)); \
tls_header_len(&en) + 32); \
tls_header_len(&en) + 64); \
tls_header_len(&en) + 64 + tls_trailer_len(&en) / 2);
len = tls_header_len(&en) + payload_len + tls_trailer_len(&en);
memcpy(p, ciphertext + tls_header_len(&en), payload_len);
iov[0].iov_len = tls_header_len(&en);
iov[1].iov_base = ciphertext + tls_header_len(&en) + payload_len;
ATF_REQUIRE_INTEQ(0, memcmp(p, ciphertext + tls_header_len(&en),
len = tls_header_len(en);
hdr_len = tls_header_len(en);
hdr_len = tls_header_len(en);
hdr_len = tls_header_len(en);
payload_len = len - (tls_header_len(en) + tls_trailer_len(en));