taglinefilesource code
seq1139net/inet/tcp.cdiff(unsigned long seq1, unsigned long seq2)
seq1143net/inet/tcp.cd = seq1 - seq2;
seq179net/inet/tcp.hbefore (unsigned long seq1, unsigned long seq2)
seq182net/inet/tcp.hif (seq1 == seq2) return(0);
seq184net/inet/tcp.hif (seq1 < seq2) {
seq185net/inet/tcp.hif ((unsigned long)seq2-(unsigned long)seq1 < 65536UL) {
seq196net/inet/tcp.hif (seq2 < 8192UL && seq1 > (0xffffffffUL - 8192UL)) {
seq1104net/inet/tcp.hafter(unsigned long seq1, unsigned long seq2)
seq1106net/inet/tcp.hreturn(before(seq2, seq1));
seq1112net/inet/tcp.hbetween(unsigned long seq1, unsigned long seq2, unsigned long seq3)
seq1114net/inet/tcp.hreturn(after(seq1+1, seq2) && before(seq1, seq3+1));