taglinefilesource code
after661net/inet/tcp.cif (after(skb->h.seq, sk->window_seq) ||
after1562net/inet/tcp.cif (after(sk->copied_seq+1,sk->urg_seq))
after2209net/inet/tcp.cif(skb->len > 0 && after(skb->h.th->seq + skb->len , sk->copied_seq))
after2531net/inet/tcp.cif (after(ack, sk->sent_seq+1) || before(ack, sk->rcv_ack_seq-1)) 
after2533net/inet/tcp.cif (after(ack, sk->sent_seq) || before(ack, sk->rcv_ack_seq)) 
after2543net/inet/tcp.cif (after(ack, sk->sent_seq) || (sk->state != TCP_ESTABLISHED && sk->state != TCP_CLOSE_WAIT)) 
after2560net/inet/tcp.cif (after(sk->window_seq, ack+ntohs(th->window))) 
after2586net/inet/tcp.cif (after(skb->h.seq, sk->window_seq)) 
after2631net/inet/tcp.csk->cong_window < 2048 && after(ack, sk->rcv_ack_seq)) 
after2700net/inet/tcp.cafter(sk->send_head->h.seq, sk->send_head->link3->h.seq)) 
after2829net/inet/tcp.cif (after (sk->window_seq+1, sk->write_queue.next->h.seq) &&
after3068net/inet/tcp.cif(after(new_seq,sk->copied_seq+1))  /* If the right edge of this frame is after the last copied byte
after3143net/inet/tcp.cif (after(th->seq+1, skb1->h.th->seq))
after3186net/inet/tcp.cif (after(th->ack_seq, sk->acked_seq)) 
after3213net/inet/tcp.cif (after(skb2->h.th->ack_seq, sk->acked_seq))
after3334net/inet/tcp.cif (after(sk->copied_seq+1, ptr))
after3338net/inet/tcp.cif (sk->urg_data && !after(ptr, sk->urg_seq))
after3718net/inet/tcp.cif (!after(next_seq+1, sk->acked_seq))
after94net/inet/tcp.hreturn (after(seq1+1, seq2) && before(seq1, seq3+1));