TSTMP_GEQ
TSTMP_GEQ(to.to_tsval, tp->ts_recent)) ) {
if (TSTMP_GEQ(cts, earlier_time))
if (TSTMP_GEQ((cts + 10000), earlier_time))
if (TSTMP_GEQ(bbr->r_ctl.rc_del_time, bbr->r_ctl.rc_lt_time))
if (TSTMP_GEQ(bbr->r_ctl.rc_rcvtime, bbr->r_ctl.rc_recovery_start))
if (TSTMP_GEQ(rsm->r_tim_lastsent[nidx], prsm->r_tim_lastsent[idx])) {
if (TSTMP_GEQ(rsm->r_tim_lastsent[idx], bbr->r_ctl.rc_tlp_rxt_last_time))
if (TSTMP_GEQ(rsm->r_tim_lastsent[idx], bbr->r_ctl.rc_tlp_rxt_last_time))
if (TSTMP_GEQ(t, to->to_tsecr)) {
if (TSTMP_GEQ(t, to->to_tsecr)) {
(TSTMP_GEQ(to.to_tsecr, rack->r_ctl.last_rcv_tstmp_for_rtt))) {
TSTMP_GEQ(cts, rack->r_ctl.rc_last_output_to)) {
if (TSTMP_GEQ(cts, rack->r_ctl.rc_last_output_to))
if (TSTMP_GEQ(cts, rack->r_ctl.rc_timer_exp))
if (TSTMP_GEQ(us_cts, endtime)) {
if (TSTMP_GEQ(us_cts, tp->gput_ts))
if (TSTMP_GEQ(rack->r_ctl.rc_tlp_rxt_last_time, ((uint32_t)rsm->r_tim_lastsent[idx])))
if (TSTMP_GEQ(((uint32_t)rsm->r_tim_lastsent[idx]), rack->r_ctl.rc_tlp_rxt_last_time))
((TSTMP_GEQ(us_cts, rack->r_ctl.rc_last_output_to)) ||