taglinefilesource code
after104include/net/tcp.hreturn (after(seq1+1, seq2) && before(seq1, seq3+1));
after534net/ipv4/ip_fw.cif (ftp->delta && after(ftp->init_seq,th->seq)) 
after824net/ipv4/ip_fw.cif (ms->delta && after(ms->init_seq,th->ack_seq)) 
after1191net/ipv4/tcp.cif (after(skb->h.seq, sk->window_seq) ||
after2220net/ipv4/tcp.cif (after(sk->copied_seq,sk->urg_seq))
after3162net/ipv4/tcp.cif (after(ack, sk->sent_seq) || before(ack, sk->rcv_ack_seq)) 
after3171net/ipv4/tcp.cif (after(ack, sk->sent_seq)) 
after3199net/ipv4/tcp.cif (after(sk->window_seq, ack+ntohs(th->window))) 
after3230net/ipv4/tcp.cif (after(skb->h.seq, sk->window_seq)) 
after3286net/ipv4/tcp.csk->cong_window < 2048 && after(ack, sk->rcv_ack_seq)) 
after3365net/ipv4/tcp.cafter(sk->send_head->h.seq, sk->send_head->link3->h.seq)) 
after3497net/ipv4/tcp.cif (after (sk->window_seq+1, sk->write_queue.next->h.seq) &&
after3870net/ipv4/tcp.cif(after(new_seq,shut_seq))
after3945net/ipv4/tcp.cif (after(th->seq+1, skb1->h.th->seq))
after3990net/ipv4/tcp.cif (after(th->ack_seq, sk->acked_seq)) 
after4016net/ipv4/tcp.cif (after(skb2->h.th->ack_seq, sk->acked_seq))
after4142net/ipv4/tcp.cif (after(sk->copied_seq, ptr))
after4146net/ipv4/tcp.cif (sk->urg_data && !after(ptr, sk->urg_seq))
after4446net/ipv4/tcp.cif (!after(next_seq+1, sk->acked_seq))
after4805net/ipv4/tcp.cafter(th->seq, sk->acked_seq) && !th->rst)