libplatsupport: use proper format specifier

Signed-off-by: Axel Heider <axelheider@gmx.de>
seL4 · Feb 28, 2024 · f4eeeff · f4eeeff
1 parent b67281a
commit f4eeeff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libplatsupport/src/plat/hifive/ltimer.c b/libplatsupport/src/plat/hifive/ltimer.c
@@ -101,7 +101,7 @@ static int ltimer_handle_irq(void *data, ps_irq_t *irq)
         pwm_handle_irq(&timers->pwm_ltimers[TIMEOUT_TIMER].pwm, irq->irq.number);
         event = LTIMER_TIMEOUT_EVENT;
     } else {
-        ZF_LOGE("Invalid IRQ number: %d received.\n", irq_number);
+        ZF_LOGE("Invalid IRQ number: %ld received.\n", irq_number);
     }
 
     if (timers->user_callback) {