tag	line	file	source code
SEQ_TICK	1537	net/inet/tcp.c	newsk->send_seq = timer_seq * SEQ_TICK - seq_offset;
SEQ_TICK	2507	net/inet/tcp.c	sk->send_seq = timer_seq*SEQ_TICK-seq_offset;