Symbol: TSTMP_GEQ
sys/netinet/tcp_input.c
1220
TSTMP_GEQ(to.to_tsval, tp->ts_recent)) &&
sys/netinet/tcp_input.c
1751
TSTMP_GEQ(to.to_tsval + tcp_paws_tolerance, tp->ts_recent)&&