diff --git a/arch/aarch64/exceptions.cc b/arch/aarch64/exceptions.cc
index 61f5f8c5dd02a4edb9b82b7d2f25a5cf21884157..dbe7e96ab0ec9411f9d533125eaf98aaa099c5e4 100644
--- a/arch/aarch64/exceptions.cc
+++ b/arch/aarch64/exceptions.cc
@@ -90,11 +90,11 @@ void interrupt(exception_frame* frame)
     /* note that special values 1022 and 1023 are used for
        group 1 and spurious interrupts respectively. */
     if (irq >= gic::gic->nr_irqs) {
-        printf("special InterruptID %x detected!\n");
+        debug_early_u64("special InterruptID detected irq=", irq);
 
     } else {
         if (!idt.invoke_interrupt(irq))
-            printf("unhandled InterruptID %x!\n", irq);
+            debug_early_u64("unhandled InterruptID irq=", irq);
         gic::gic->end_irq(iar);
     }