Changes in kernel/arch/ia32/src/interrupt.c [0d1e976:c9eb31c2] in mainline

File:

• kernel/arch/ia32/src/interrupt.c (modified) (1 diff)

kernel/arch/ia32/src/interrupt.c

@@ -65 +65 @@
 void istate_decode(istate_t *istate)
 {
-        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);
+        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("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);
+                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);
 }