diff options
Diffstat (limited to 'src/vppinfra/timer.c')
| -rw-r--r-- | src/vppinfra/timer.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/vppinfra/timer.c b/src/vppinfra/timer.c index 0221cb749a1..85149dc6b00 100644 --- a/src/vppinfra/timer.c +++ b/src/vppinfra/timer.c @@ -41,6 +41,7 @@ #include <sys/param.h> #include <vppinfra/vec.h> +#include <vppinfra/smp.h> #include <vppinfra/time.h> #include <vppinfra/timer.h> #include <vppinfra/error.h> @@ -283,7 +284,7 @@ bar_t b = { limit:10 }; timer_call (bar, (any) & b, random_f64 ()); while (vec_len (timers) > 0) - sched_yield (); + os_sched_yield (); if (vec_len (foos) > 0) { |