Changeset cf85e24c in mainline for arch/ia32/src/interrupt.c

Timestamp:

2006-04-22T23:00:26Z (19 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

12c7f27

Parents:

e692a27

Message:

printf-related and other code cleanup

File:

• arch/ia32/src/interrupt.c (modified) (2 diffs)

arch/ia32/src/interrupt.c

@@ -62 +62 @@
                 printf("----------------EXCEPTION OCCURED----------------\n");
                 
-        printf("%%eip: %#X (%s)\n",istate->eip,symbol);
-        printf("ERROR_WORD=%#X\n", istate->error_word);
-        printf("%%cs=%#X,flags=%#X\n", istate->cs, istate->eflags);
-        printf("%%eax=%#X, %%ecx=%#X, %%edx=%#X, %%esp=%#X\n",  istate->eax,istate->ecx,istate->edx,&istate->stack[0]);
+        printf("%%eip: %#x (%s)\n",istate->eip,symbol);
+        printf("ERROR_WORD=%#x\n", istate->error_word);
+        printf("%%cs=%#x,flags=%#x\n", istate->cs, istate->eflags);
+        printf("%%eax=%#x, %%ecx=%#x, %%edx=%#x, %%esp=%#x\n",  istate->eax,istate->ecx,istate->edx,&istate->stack[0]);
 #ifdef CONFIG_DEBUG_ALLREGS
-        printf("%%esi=%#X, %%edi=%#X, %%ebp=%#X, %%ebx=%#X\n",  istate->esi,istate->edi,istate->ebp,istate->ebx);
+        printf("%%esi=%#x, %%edi=%#x, %%ebp=%#x, %%ebx=%#x\n",  istate->esi,istate->edi,istate->ebp,istate->ebx);
 #endif
-        printf("stack: %#X, %#X, %#X, %#X\n", istate->stack[0], istate->stack[1], istate->stack[2], istate->stack[3]);
-        printf("       %#X, %#X, %#X, %#X\n", istate->stack[4], istate->stack[5], istate->stack[6], istate->stack[7]);
+        printf("stack: %#x, %#x, %#x, %#x\n", istate->stack[0], istate->stack[1], istate->stack[2], istate->stack[3]);
+        printf("       %#x, %#x, %#x, %#x\n", istate->stack[4], istate->stack[5], istate->stack[6], istate->stack[7]);
 }
 
@@ -121 +121 @@
         if (!as_page_fault(page)) {
                 PRINT_INFO_ERRCODE(istate);
-                printf("page fault address: %#X\n", page);
+                printf("page fault address: %#x\n", page);
                 panic("page fault\n");
         }