taglinefilesource code
seq1163net/tcp/tcp.cdiff (unsigned long seq1, unsigned long seq2)
seq1166net/tcp/tcp.cd=seq1-seq2;
seq1130net/tcp/tcp.hbefore (unsigned long seq1, unsigned long seq2)
seq1133net/tcp/tcp.hif (seq1 == seq2) return (0);
seq1134net/tcp/tcp.hif (seq1 < seq2) 
seq1136net/tcp/tcp.hif ((unsigned long)seq2-(unsigned long)seq1 < 32767UL) 
seq1147net/tcp/tcp.hif (seq2 < 4096UL && seq1 > (0xffffffUL - 4096UL))
seq1156net/tcp/tcp.hafter (unsigned long seq1, unsigned long seq2)
seq1158net/tcp/tcp.hreturn (before (seq2, seq1));
seq1163net/tcp/tcp.hbetween (unsigned long seq1, unsigned long seq2, unsigned long seq3)
seq1165net/tcp/tcp.hreturn (after (seq1+1, seq2) && before (seq1, seq3+1));