Changes in kernel/arch/ia32/src/interrupt.c [203deeb8:a000878c] in mainline

File:

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

kernel/arch/ia32/src/interrupt.c

@@ -65 +65 @@
 void decode_istate(istate_t *istate)
 {
-        char *symbol;
-
-        symbol = symtab_fmt_name_lookup(istate->eip);
-
+        const char *symbol = symtab_fmt_name_lookup(istate->eip);
+        
         if (CPU)
                 printf("----------------EXCEPTION OCCURED (cpu%u)----------------\n", CPU->id);
         else
                 printf("----------------EXCEPTION OCCURED----------------\n");
-                
+        
         printf("%%eip: %#lx (%s)\n", istate->eip, symbol);
         printf("ERROR_WORD=%#lx\n", istate->error_word);
@@ -80 +78 @@
         printf("stack: %#lx, %#lx, %#lx, %#lx\n", istate->stack[0], istate->stack[1], istate->stack[2], istate->stack[3]);
         printf("       %#lx, %#lx, %#lx, %#lx\n", istate->stack[4], istate->stack[5], istate->stack[6], istate->stack[7]);
-
+        
         stack_trace_istate(istate);
 }