tcp_rndiss_reseed 1200 netinet/tcp_subr.c long tcp_rndiss_reseed;
tcp_rndiss_reseed 1222 netinet/tcp_subr.c 	tcp_rndiss_reseed = time_second + TCP_RNDISS_OUT;
tcp_rndiss_reseed 1231 netinet/tcp_subr.c 	    time_second > tcp_rndiss_reseed)