diff options
Diffstat (limited to 'platform/linux-generic/include/odp/api/plat/timer_inlines.h')
| -rw-r--r-- | platform/linux-generic/include/odp/api/plat/timer_inlines.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/platform/linux-generic/include/odp/api/plat/timer_inlines.h b/platform/linux-generic/include/odp/api/plat/timer_inlines.h index 7642376d0..4f5620caf 100644 --- a/platform/linux-generic/include/odp/api/plat/timer_inlines.h +++ b/platform/linux-generic/include/odp/api/plat/timer_inlines.h @@ -10,6 +10,7 @@ #include <odp/api/event.h> #include <odp/api/timer_types.h> +#include <odp/api/plat/debug_inlines.h> #include <odp/api/plat/timer_inline_types.h> #include <stdint.h> @@ -71,6 +72,8 @@ _ODP_INLINE uint64_t odp_timer_ns_to_tick(odp_timer_pool_t tp, uint64_t ns) _ODP_INLINE odp_timeout_t odp_timeout_from_event(odp_event_t ev) { + _ODP_ASSERT(odp_event_type(ev) == ODP_EVENT_TIMEOUT); + return (odp_timeout_t)ev; } |