devif: library fixed compilation with debugging flags enabled

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

diff --git a/lib/devif/queue_interface.c b/lib/devif/queue_interface.c
index e0ed19e..42f0fa8 100644 (file)
--- a/lib/devif/queue_interface.c
+++ b/lib/devif/queue_interface.c
@@ -111,7 +111,7 @@ errval_t devq_dequeue(struct devq *q,
         return DEVQ_ERR_INVALID_BUFFER_ARGS;
     }
 
-    DQI_DEBUG("Dequeue q=%p rid=%d, bid=%d \n", q, *region_id, *buffer_id);
+    DQI_DEBUG("Dequeue q=%p rid=%u, offset=%lu \n", q, *region_id, *offset);
 
     return SYS_ERR_OK;
 }