Index: kernel/arch/ia32/src/interrupt.c
===================================================================
--- kernel/arch/ia32/src/interrupt.c	(revision d0294342dd3ac03e0c663f4db0665ad183ac8bea)
+++ kernel/arch/ia32/src/interrupt.c	(revision 0d1e976d83465ea36cf867a25fca604e957e424b)
@@ -65,21 +65,17 @@
 void istate_decode(istate_t *istate)
 {
-	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);
+	printf("cs =%p\teip=%p\tefl=%p\terr=%p\n",
+	    istate->cs, istate->eip, istate->eflags, istate->error_word);
+
+	printf("ds =%p\tes =%p\tfs =%p\tgs =%p\n",
+	    istate->ds, istate->es, 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);
+		printf("ss =%p\n", istate->ss);
+
+	printf("eax=%p\tebx=%p\tecx=%p\tedx=%p\n",
+	    istate->eax, istate->ebx, istate->ecx, istate->edx);
+	printf("esi=%p\tedi=%p\tebp=%p\tesp=%p\n",
+	    istate->esi, istate->edi, istate->ebp,
+	    istate_from_uspace(istate) ? istate->esp : (uintptr_t)&istate->esp);
 }