diff options
author | Dave Barach <dave@barachs.net> | 2018-02-20 08:34:48 -0500 |
---|---|---|
committer | Florin Coras <florin.coras@gmail.com> | 2018-02-20 16:14:10 +0000 |
commit | ad099335c1c2de17fb0b3b29b008ef8623ee93c0 (patch) | |
tree | 468b2c93c119cd8020bf7f3c89fc6867b8ba47a2 /src/vppinfra/tw_timer_4t_3w_4sl_ov.c | |
parent | 9b79377ac163c765152d885037374eafd5df9b2f (diff) |
Reset expired timer vector length after callback
Otherwise, in a "catch-up / multiple tick" case, the code will repeatedly
hand previously-processed expired timer handles to the user callback.
Change-Id: Idef4f242279ea41cb557bb6cff5984de02a6503d
Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to 'src/vppinfra/tw_timer_4t_3w_4sl_ov.c')
0 files changed, 0 insertions, 0 deletions