Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision 97bdb4a68c7443aa25398228e6e7b6c705c35b14)
+++ kernel/generic/src/interrupt/interrupt.c	(revision bee2d4c1c0b2d94977c7f61f905180c61e0b881d)
@@ -163,5 +163,5 @@
 {
 	fault_if_from_uspace(istate, "Unhandled exception %u.", n);
-	panic("Unhandled exception %u.", n);
+	panic_badtrap(istate, n, "Unhandled exception %u.", n);
 }
 
