taglinefilesource code
seq2139net/inet/tcp.cdiff(unsigned long seq1, unsigned long seq2)
seq2143net/inet/tcp.cd = seq1 - seq2;
seq279net/inet/tcp.hbefore (unsigned long seq1, unsigned long seq2)
seq282net/inet/tcp.hif (seq1 == seq2) return(0);
seq284net/inet/tcp.hif (seq1 < seq2) {
seq285net/inet/tcp.hif ((unsigned long)seq2-(unsigned long)seq1 < 65536UL) {
seq296net/inet/tcp.hif (seq2 < 8192UL && seq1 > (0xffffffffUL - 8192UL)) {
seq2104net/inet/tcp.hafter(unsigned long seq1, unsigned long seq2)
seq2106net/inet/tcp.hreturn(before(seq2, seq1));
seq2112net/inet/tcp.hbetween(unsigned long seq1, unsigned long seq2, unsigned long seq3)
seq2114net/inet/tcp.hreturn(after(seq1+1, seq2) && before(seq1, seq3+1));