ccmp_get_trailer_len
m_adj(m, -ccmp_get_trailer_len(k));
xor_block(b, s0, ccmp_get_trailer_len(key));
return m_append(m0, ccmp_get_trailer_len(key), b);
(hdrlen + ccmp_get_header_len(key) + ccmp_get_trailer_len(key));
m_copydata(m, m->m_pkthdr.len - ccmp_get_trailer_len(key),
ccmp_get_trailer_len(key), mic);
xor_block(mic, b, ccmp_get_trailer_len(key));
if (memcmp(mic, a, ccmp_get_trailer_len(key)) != 0) {