dpd_timer_interval
if (dpd_timer_interval(0) != 0) {
ts.tv_sec += dpd_timer_interval(time_passed);
args.interval = dpd_timer_interval(0);
if (args.interval > dpd_timer_interval(0))
static u_int32_t dpd_timer_interval(u_int32_t);