static inline uint32_t get_next_free(odp_timer *tim) { /* Reusing 'queue' for next free index */ return _odp_typeval(tim->queue); }
static inline uint32_t from_handle(odp_shm_t shm) { return _odp_typeval(shm) - 1; }