[lng-odp] [PATCH 2/2] timer: add missing atomic decrement

[Brian Brooks]

Signed-off-by: Brian Brooks <brian.bro...@linaro.org>
---
 platform/linux-generic/odp_timer.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/platform/linux-generic/odp_timer.c 
b/platform/linux-generic/odp_timer.c
index becea9d..f47c291 100644
--- a/platform/linux-generic/odp_timer.c
+++ b/platform/linux-generic/odp_timer.c
@@ -316,6 +316,8 @@ static void odp_timer_pool_del(odp_timer_pool *tp)
        int rc = odp_shm_free(tp->shm);
        if (rc != 0)
                ODP_ABORT("Failed to free shared memory (%d)\n", rc);
+
+       odp_atomic_sub_u32(&num_timer_pools, 1);
 }
 
 static inline odp_timer_t timer_alloc(odp_timer_pool *tp,
-- 
2.9.0