xeon_phi: fix compilation with full debug enabled

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

diff --git a/usr/drivers/xeon_phi/service.c b/usr/drivers/xeon_phi/service.c
index aa8b323..2d73c73 100644 (file)
--- a/usr/drivers/xeon_phi/service.c
+++ b/usr/drivers/xeon_phi/service.c
@@ -354,7 +354,7 @@ static errval_t svc_connect_cb(void *st,
                                struct xeon_phi_driver_binding *b)
 {
     XSERVICE_DEBUG("Xeon Phi Node %u got a new connection to other node.\n",
-                   (struct xeon_phi * st)->id);
+                   ((struct xeon_phi *)st)->id);
 
     b->st = st;
     b->rx_vtbl = xps_rx_vtbl;

diff --git a/usr/drivers/xeon_phi/sysmem_caps.c b/usr/drivers/xeon_phi/sysmem_caps.c
index d490e74..d5c152e 100644 (file)
--- a/usr/drivers/xeon_phi/sysmem_caps.c
+++ b/usr/drivers/xeon_phi/sysmem_caps.c
@@ -415,7 +415,7 @@ errval_t sysmem_cap_manager_init(struct capref sysmem_cap)
     errval_t err;
 
     // initialize the memory allcator
-    XSYSMEM_DEBUG("Initializing slot allocator of %i slots\n", NUM_SLOTS);
+    XSYSMEM_DEBUG("Initializing slot allocator of %" PRIu64 " slots\n", NUM_SLOTS);
     err = range_slot_alloc_init(&sysmem_allocator, NUM_SLOTS, NULL);
     if (err_is_fail(err)) {
         return err_push(err, LIB_ERR_SLOT_ALLOC_INIT);