@@ -72,7 +72,7 @@ int odp_buffer_snprint(char *str, size_t n, odp_buffer_t buf)
len += snprintf(&str[len], n-len,
"Buffer\n");
len += snprintf(&str[len], n-len,
- " pool %i\n", hdr->pool);
+ " pool %i\n", (int) hdr->pool);
len += snprintf(&str[len], n-len,
" index %"PRIu32"\n", hdr->index);
len += snprintf(&str[len], n-len,
@@ -462,7 +462,7 @@ void odp_buffer_pool_print(odp_buffer_pool_t pool_id)
printf("Pool info\n");
printf("---------\n");
- printf(" pool %i\n", pool->s.pool);
+ printf(" pool %i\n", (int) pool->s.pool);
printf(" name %s\n", pool->s.name);
printf(" pool base %p\n", pool->s.pool_base_addr);
printf(" buf base 0x%"PRIxPTR"\n", pool->s.buf_base);
@@ -133,7 +133,7 @@ int odp_timer_cancel_tmo(odp_timer_t timer, odp_timer_tmo_t tmo)
/* search and delete tmo from tick list */
if (find_and_del_tmo(&tick->list, tmo) != 0) {
odp_spinlock_unlock(&tick->lock);
- ODP_DBG("Couldn't find the tmo (%d) in tick list\n", tmo);
+ ODP_DBG("Couldn't find the tmo (%d) in tick list\n", (int) tmo);
return -1;
}
odp_spinlock_unlock(&tick->lock);