--- //depot/user/jake/pae/src/sys/i386/i386/trap.c	2003/03/31 16:09:12
+++ //depot/user/jake/pae/src/sys/i386/i386/trap.c	2003/04/13 16:36:41
@@ -860,10 +860,17 @@
 void
 dblfault_handler()
 {
+	struct thread *td;
+
+	td = curthread;
 	printf("\nFatal double fault:\n");
 	printf("eip = 0x%x\n", PCPU_GET(common_tss.tss_eip));
 	printf("esp = 0x%x\n", PCPU_GET(common_tss.tss_esp));
 	printf("ebp = 0x%x\n", PCPU_GET(common_tss.tss_ebp));
+	if (td != NULL) {
+		printf("kstack = 0x%x -> 0x%x\n", td->td_kstack,
+		    td->td_kstack + KSTACK_PAGES * PAGE_SIZE);
+	}
 #ifdef SMP
 	/* two separate prints in case of a trap on an unmapped page */
 	printf("cpuid = %d; ", PCPU_GET(cpuid));