taglinefilesource code
after568net/inet/tcp.cif (after(sk->send_seq , sk->window_seq) ||
after931net/inet/tcp.cif (after(sk->send_seq , sk->window_seq) ||
after1928net/inet/tcp.cafter(skb->h.th->seq + skb->len + 1, sk->copied_seq))
after1938net/inet/tcp.cif(skb->len > 0 && after(skb->h.th->seq + skb->len + 1 , sk->copied_seq))
after2146net/inet/tcp.cif (after(ack, sk->send_seq+1) || before(ack, sk->rcv_ack_seq-1)) {
after2147net/inet/tcp.cif (after(ack, sk->send_seq) ||
after2160net/inet/tcp.cif (after(sk->window_seq, ack+ntohs(th->window))) {
after2184net/inet/tcp.cif (after(skb->h.seq, sk->window_seq)) {
after2259net/inet/tcp.cafter(sk->send_head->h.seq, sk->send_head->link3->h.seq)) {
after2324net/inet/tcp.cif (after (sk->window_seq, sk->wfront->h.seq) &&
after2466net/inet/tcp.cif (after(th->seq+1, skb1->h.th->seq)) {
after2493net/inet/tcp.cif (after(th->seq+1, skb1->h.th->seq))
after2520net/inet/tcp.cif (after(th->ack_seq, sk->acked_seq))
after2534net/inet/tcp.cif (after(skb2->h.th->ack_seq, sk->acked_seq))
after2880net/inet/tcp.cafter(th->seq + len -(th->doff*4), sk->acked_seq + sk->window))) {
after2889net/inet/tcp.cif (after(th->seq, sk->acked_seq + sk->window)) {
after2897net/inet/tcp.cafter(th->seq, sk->acked_seq - 32767) &&
after114net/inet/tcp.hreturn(after(seq1+1, seq2) && before(seq1, seq3+1));