diff --git a/c/src/lib/libbsp/or1k/generic_or1k/irq/irq.c b/c/src/lib/libbsp/or1k/generic_or1k/irq/irq.c
index c3c4d6d4a4..00d53d7409 100644
--- a/c/src/lib/libbsp/or1k/generic_or1k/irq/irq.c
+++ b/c/src/lib/libbsp/or1k/generic_or1k/irq/irq.c
@@ -16,6 +16,7 @@
 
 #include <bsp/irq.h>
 #include <bsp/irq-generic.h>
+#include <rtems/inttypes.h>
 
 /* Almost all of the jobs that the following functions should
  * do are implemented in cpukit
@@ -23,7 +24,7 @@
 
 void bsp_interrupt_handler_default(rtems_vector_number vector)
 {
-    printk("spurious interrupt: %u\n", vector);
+    printk("spurious interrupt: %" PRIdrtems_vector_number "\n", vector);
 }
 
 rtems_status_code bsp_interrupt_facility_initialize()