tcp_challenge_ack_check
if (tcp_challenge_ack_check(&tp->t_challenge_ack_end,
if (tcp_challenge_ack_check(&sc->sc_challenge_ack_end,
bool tcp_challenge_ack_check(sbintime_t *, uint32_t *);