Index: kernel/arch/ia64/src/interrupt.c
===================================================================
--- kernel/arch/ia64/src/interrupt.c	(revision 7cd7a8d678fba9c835468054b7578fabbbdf58d2)
+++ kernel/arch/ia64/src/interrupt.c	(revision f67d8ee72bcaaf0db7d633578c4b36ddff968098)
@@ -190,5 +190,5 @@
 	fault_if_from_uspace(istate, "Interruption: %#hx (%s).",
 	    (uint16_t) n, vector_to_string(n));
-	panic_badtrap(istate, vector, "Interruption: %#hx (%s).",
+	panic_badtrap(istate, n, "Interruption: %#hx (%s).",
 	    (uint16_t) n, vector_to_string(n));
 #endif