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);
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));