xeon_phi: fix compilation with full debug enabled
authorReto Achermann <reto.achermann@inf.ethz.ch>
Sun, 23 Jul 2017 20:29:03 +0000 (22:29 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Sun, 23 Jul 2017 20:29:03 +0000 (22:29 +0200)
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

usr/drivers/xeon_phi/service.c
usr/drivers/xeon_phi/sysmem_caps.c

index aa8b323..2d73c73 100644 (file)
@@ -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;
index d490e74..d5c152e 100644 (file)
@@ -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);