libplatsupport: use proper format specifier

Signed-off-by: Axel Heider <axelheider@gmx.de>
seL4 · Mar 2, 2024 · 1b55577 · 1b55577
1 parent 8b1cf8c
commit 1b55577
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) {