tag	line	file	source code
shut_seq	4017	net/ipv4/tcp.c	u32 new_seq, shut_seq;
shut_seq	4073	net/ipv4/tcp.c	shut_seq=sk->acked_seq+1;  /* Last byte */
shut_seq	4075	net/ipv4/tcp.c	if(after(new_seq,shut_seq))
shut_seq	4079	net/ipv4/tcp.c	sk, new_seq, shut_seq, sk->blog);