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