taglinefilesource code
seq2149net/inet/tcp.cstatic long diff(unsigned long seq1, unsigned long seq2)
seq2153net/inet/tcp.cd = seq1 - seq2;
seq278net/inet/tcp.hstatic inline int before (unsigned long seq1, unsigned long seq2)
seq281net/inet/tcp.hif (seq1 == seq2)   
seq284net/inet/tcp.hif (seq1 < seq2) 
seq286net/inet/tcp.hif ((unsigned long)seq2-(unsigned long)seq1 < 65536UL) 
seq2100net/inet/tcp.hif (seq2 < 8192UL && seq1 > (0xffffffffUL - 8192UL)) 
seq2108net/inet/tcp.hstatic inline int after(unsigned long seq1, unsigned long seq2)
seq2110net/inet/tcp.hreturn(before(seq2, seq1));
seq2115net/inet/tcp.hstatic inline int between(unsigned long seq1, unsigned long seq2, unsigned long seq3)
seq2117net/inet/tcp.hreturn(after(seq1+1, seq2) && before(seq1, seq3+1));