diff options
Diffstat (limited to 'src/vppinfra/timer.c')
| -rw-r--r-- | src/vppinfra/timer.c | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/vppinfra/timer.c b/src/vppinfra/timer.c index 85149dc6b00..8bbab653ec0 100644 --- a/src/vppinfra/timer.c +++ b/src/vppinfra/timer.c @@ -46,6 +46,10 @@ #include <vppinfra/timer.h> #include <vppinfra/error.h> +#ifndef HZ +#define HZ 1000 +#endif + typedef struct { f64 time; @@ -112,14 +116,14 @@ timer_interrupt (int signum) vector of pending timers. */ t = vec_end (timers) - 1; - ASSERT (now >= 0 && finite (now)); + ASSERT (now >= 0 && isfinite (now)); /* Time difference between when timer goes off and now. */ dt = t->time - now; /* If timer is within threshold of going off call user's callback. */ - if (dt <= time_resolution && finite (dt)) + if (dt <= time_resolution && isfinite (dt)) { _vec_len (timers) -= 1; (*t->func) (t->arg, -dt); |