unsigned int base = MAX(rc->last_received, rc->state_entered);
queue_push_tail(&rc->txq, make_echo_request());
VLOG_DBG("%s: idle %u seconds, sending inactivity probe",
unsigned int base = MAX(rc->last_received, rc->state_entered);
queue_push_tail(&rc->txq, make_echo_request());
VLOG_DBG("%s: idle %u seconds, sending inactivity probe",