diff options
| author |   Florin Coras <fcoras@cisco.com> | 2018-08-01 16:25:45 -0700 |
|---|---|---|
| committer |   Damjan Marion <dmarion@me.com> | 2018-08-03 09:12:02 +0000 |
| commit | 40f92469c6c1b7145ad752475350f71d752d8033 (patch) | |
| tree | d1fa31b60807adda3ffdbc2667b04e50f8ccf013 /src/vppinfra/tw_timer_template.c | |
| parent | c470e22f12a68f06990f57f12f551fee50b6bb0d (diff) | |
vlib: avoid double process dispatch
Change-Id: I46467b1f149be9dfbd00e3ea6d60681d19acf235
Signed-off-by: Florin Coras <fcoras@cisco.com>
Signed-off-by: Andrew Yourtchenko <ayourtch@gmail.com>
Diffstat (limited to 'src/vppinfra/tw_timer_template.c')
| -rw-r--r-- | src/vppinfra/tw_timer_template.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/vppinfra/tw_timer_template.c b/src/vppinfra/tw_timer_template.c index c96c329c931..9c9bb977d5e 100644 --- a/src/vppinfra/tw_timer_template.c +++ b/src/vppinfra/tw_timer_template.c @@ -376,6 +376,11 @@ void TW (tw_timer_stop) (TWT (tw_timer_wheel) * tw, u32 handle) pool_put_index (tw->timers, handle); } +int TW (tw_timer_handle_is_free) (TWT (tw_timer_wheel) * tw, u32 handle) +{ + return pool_is_free_index (tw->timers, handle); +} + /** * @brief Update a tw timer * @param tw_timer_wheel_t * tw timer wheel object pointer |