Index: arch/amd64/src/interrupt.c
===================================================================
--- arch/amd64/src/interrupt.c	(revision 342616d6f54e660cdd71fabb8261b027155593d4)
+++ arch/amd64/src/interrupt.c	(revision c0b45fa002ea4e833eba5897c34d7a0eb5699c1e)
@@ -41,4 +41,20 @@
 
 
+
+static void messy_stack_trace(__native *stack)
+{
+	__native *upper_limit = (__native *)(((__native)THREAD->kstack) + STACK_SIZE);
+	char *symbol;
+
+	printf("Stack contents: ");
+	while (stack < upper_limit) {
+		symbol = get_symtab_entry((__address)*stack);
+		if (symbol)
+			printf("%s, ", symbol);
+		stack++;
+	}
+	printf("\n");
+}
+
 static void print_info_errcode(__u8 n, __native x[])
 {
@@ -65,4 +81,5 @@
 	printf("       %Q, %Q, %Q\n", x[20], x[21], x[22]);
 	printf("       %Q, %Q, %Q\n", x[23], x[24], x[25]);
+	messy_stack_trace(&x[5]);
 }