devif: library fixed compilation with debugging flags enabled
authorRoni Häcki <roni.haecki@inf.ethz.ch>
Mon, 18 Sep 2017 13:55:59 +0000 (15:55 +0200)
committerRoni Häcki <roni.haecki@inf.ethz.ch>
Mon, 18 Sep 2017 13:55:59 +0000 (15:55 +0200)
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

lib/devif/queue_interface.c

index e0ed19e..42f0fa8 100644 (file)
@@ -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;
 }