ktls_get_rx_sequence
ktls_get_rx_sequence(inp, &tcp_sn_he, &tls_sn_he) != 0))
int ktls_get_rx_sequence(struct inpcb *inp, uint32_t *tcpseq, uint64_t *tlsseq);