taglinefilesource code
seq2163net/tcp/tcp.cdiff (unsigned long seq1, unsigned long seq2)
seq2166net/tcp/tcp.cd=seq1-seq2;
seq2130net/tcp/tcp.hbefore (unsigned long seq1, unsigned long seq2)
seq2133net/tcp/tcp.hif (seq1 == seq2) return (0);
seq2134net/tcp/tcp.hif (seq1 < seq2) 
seq2136net/tcp/tcp.hif ((unsigned long)seq2-(unsigned long)seq1 < 32767UL) 
seq2147net/tcp/tcp.hif (seq2 < 4096UL && seq1 > (0xffffffUL - 4096UL))
seq2156net/tcp/tcp.hafter (unsigned long seq1, unsigned long seq2)
seq2158net/tcp/tcp.hreturn (before (seq2, seq1));
seq2163net/tcp/tcp.hbetween (unsigned long seq1, unsigned long seq2, unsigned long seq3)
seq2165net/tcp/tcp.hreturn (after (seq1+1, seq2) && before (seq1, seq3+1));