taglinefilesource code
seq3100include/net/tcp.hextern __inline int between(__u32 seq1, __u32 seq2, __u32 seq3)
seq3102include/net/tcp.hreturn (after(seq1+1, seq2) && before(seq1, seq3+1));