Index: arch/amd64/src/interrupt.c
===================================================================
--- arch/amd64/src/interrupt.c	(revision 80d31883ee0e3c624c13423f1fb5d9f980422132)
+++ arch/amd64/src/interrupt.c	(revision 3247f0af2a8915aaac2c08a845d7a8f83bbeb28a)
@@ -80,4 +80,5 @@
 void null_interrupt(int n, istate_t *istate)
 {
+	fault_if_from_uspace(istate, "unserviced interrupt: %d", n);
 	print_info_errcode(n, istate);
 	panic("unserviced interrupt\n");
@@ -105,4 +106,5 @@
 			return;
 		}
+		fault_if_from_uspace(istate, "general protection fault");
 	}
 
@@ -113,4 +115,5 @@
 void ss_fault(int n, istate_t *istate)
 {
+	fault_if_from_uspace(istate, "stack fault");
 	print_info_errcode(n, istate);
 	panic("stack fault\n");
@@ -122,4 +125,5 @@
 	scheduler_fpu_lazy_request();
 #else
+	fault_if_from_uspace(istate, "fpu fault");
 	panic("fpu fault");
 #endif