armv8: fix compilation on other platforms
authorLukas Humbel <lukas.humbel@inf.ethz.ch>
Fri, 15 Nov 2019 09:12:43 +0000 (10:12 +0100)
committerLukas Humbel <lukas.humbel@inf.ethz.ch>
Mon, 18 Nov 2019 11:53:02 +0000 (12:53 +0100)
Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

usr/monitor/monitor_rpc_server.c

index 307fd6e..612d30a 100644 (file)
@@ -430,7 +430,7 @@ static void get_irq_dest_cap_arm(
     err = invoke_irqtable_alloc_dest_cap(cap_irq, dest_cap,
             irqsrc_cap.u.irqsrc.vec_start + irq_idx - DISP_OFFSET);
     if(err_is_fail(err)){
-        printf("requested idx %d\n", irqsrc_cap.u.irqsrc.vec_start + irq_idx);
+        //printf("requested idx %"PRIu64"\n", irqsrc_cap.u.irqsrc.vec_start + irq_idx);
         USER_PANIC_ERR(err, "could not allocate dest cap!");
     }