Index: kernel/arch/ia32/src/interrupt.c
===================================================================
--- kernel/arch/ia32/src/interrupt.c	(revision 6473d41b400a0e37add4151c14a275fde0f6c28b)
+++ kernel/arch/ia32/src/interrupt.c	(revision c9eb31c2d2fabac75db64a3dbad707585334caa7)
@@ -65,8 +65,21 @@
 void istate_decode(istate_t *istate)
 {
-	printf("error_word=%#lx\n", istate->error_word);
-	printf("cs =%#0.8lx\teflags=%#0.8lx\n", istate->cs, istate->eflags);
-	printf("eax=%#0.8lx\tecx=%#0.8lx\tedx=%#0.8lx\n",
-	    istate->eax, istate->ecx, istate->edx);
+	printf("error_word=%p\n", istate->error_word);
+	printf("eflags=%p\n", istate->eflags);
+
+	printf("cs =%p\tds =%p\tes =%p\n", istate->cs, istate->ds, istate->es);
+	printf("fs =%p\tgs =%p", istate->fs, istate->gs);
+	if (istate_from_uspace(istate))
+		printf("\tss =%p\n", istate->ss);
+	else
+		printf("\n");
+
+	printf("eax=%p\tebx=%p\tecx=%p\n", istate->eax, istate->ebx,
+	    istate->ecx);
+	printf("edx=%p\tedi=%p\tesi=%p\n", istate->edx, istate->edi,
+	    istate->esi);
+	printf("ebp=%p\tesp=%p\teip=%p\n", istate->ebp,
+	    istate_from_uspace(istate) ? istate->esp : (uintptr_t) &istate->esp,
+	    istate->eip);
 }