Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
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;
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);