Changes in kernel/arch/ia32/src/interrupt.c [f36787d7:acc7ce4] in mainline

File:

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

kernel/arch/ia32/src/interrupt.c

@@ -66 +66 @@
 void istate_decode(istate_t *istate)
 {
-        printf("cs =%0#10" PRIx32 "\teip=%0#10" PRIx32 "\t"
-            "efl=%0#10" PRIx32 "\terr=%0#10" PRIx32 "\n",
-            istate->cs, istate->eip, istate->eflags, istate->error_word);
-        
-        printf("ds =%0#10" PRIx32 "\tes =%0#10" PRIx32 "\t"
-            "fs =%0#10" PRIx32 "\tgs =%0#10" PRIx32 "\n",
+        printf("cs =%#0" PRIx32 "\teip=%p\t"
+            "efl=%#0" PRIx32 "\terr=%#0" PRIx32 "\n",
+            istate->cs, (void *) istate->eip,
+            istate->eflags, istate->error_word);
+        
+        printf("ds =%#0" PRIx32 "\tes =%#0" PRIx32 "\t"
+            "fs =%#0" PRIx32 "\tgs =%#0" PRIx32 "\n",
             istate->ds, istate->es, istate->fs, istate->gs);
         
         if (istate_from_uspace(istate))
-                printf("ss =%0#10" PRIx32 "\n", istate->ss);
-        
-        printf("eax=%0#10" PRIx32 "\tebx=%0#10" PRIx32 "\t"
-            "ecx=%0#10" PRIx32 "\tedx=%0#10" PRIx32 "\n",
+                printf("ss =%#0" PRIx32 "\n", istate->ss);
+        
+        printf("eax=%#0" PRIx32 "\tebx=%#0" PRIx32 "\t"
+            "ecx=%#0" PRIx32 "\tedx=%#0" PRIx32 "\n",
             istate->eax, istate->ebx, istate->ecx, istate->edx);
         
-        printf("esi=%0#10" PRIx32 "\tedi=%0#10" PRIx32 "\t"
-            "ebp=%0#10" PRIx32 "\tesp=%0#10" PRIx32 "\n",
-            istate->esi, istate->edi, istate->ebp,
-            istate_from_uspace(istate) ? istate->esp :
-            (uintptr_t) &istate->esp);
+        printf("esi=%p\tedi=%p\tebp=%p\tesp=%p\n",
+            (void *) istate->esi, (void *) istate->edi,
+            (void *) istate->ebp,
+            istate_from_uspace(istate) ? ((void *) istate->esp) :
+            &istate->esp);
 }