taglinefilesource code
after102include/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)) 
after1150net/ipv4/tcp.cif (after(skb->h.seq, sk->window_seq) ||
after2172net/ipv4/tcp.cif (after(sk->copied_seq,sk->urg_seq))
after3115net/ipv4/tcp.cif (after(ack, sk->sent_seq) || before(ack, sk->rcv_ack_seq)) 
after3124net/ipv4/tcp.cif (after(ack, sk->sent_seq)) 
after3152net/ipv4/tcp.cif (after(sk->window_seq, ack+ntohs(th->window))) 
after3183net/ipv4/tcp.cif (after(skb->h.seq, sk->window_seq)) 
after3239net/ipv4/tcp.csk->cong_window < 2048 && after(ack, sk->rcv_ack_seq)) 
after3318net/ipv4/tcp.cafter(sk->send_head->h.seq, sk->send_head->link3->h.seq)) 
after3450net/ipv4/tcp.cif (after (sk->window_seq+1, sk->write_queue.next->h.seq) &&
after3823net/ipv4/tcp.cif(after(new_seq,shut_seq))
after3898net/ipv4/tcp.cif (after(th->seq+1, skb1->h.th->seq))
after3943net/ipv4/tcp.cif (after(th->ack_seq, sk->acked_seq)) 
after3969net/ipv4/tcp.cif (after(skb2->h.th->ack_seq, sk->acked_seq))
after4095net/ipv4/tcp.cif (after(sk->copied_seq, ptr))
after4099net/ipv4/tcp.cif (sk->urg_data && !after(ptr, sk->urg_seq))
after4399net/ipv4/tcp.cif (!after(next_seq+1, sk->acked_seq))
after4758net/ipv4/tcp.cafter(th->seq, sk->acked_seq) && !th->rst)