Changes in kernel/generic/src/interrupt/interrupt.c [0d21b53:a000878c] in mainline

File:

• kernel/generic/src/interrupt/interrupt.c (modified) (3 diffs)

kernel/generic/src/interrupt/interrupt.c

@@ -114 +114 @@
 
 /** Terminate thread and task if exception came from userspace. */
-void fault_if_from_uspace(istate_t *istate, char *fmt, ...)
+void fault_if_from_uspace(istate_t *istate, const char *fmt, ...)
 {
         task_t *task = TASK;
@@ -162 +162 @@
 #if (IVT_ITEMS > 0)
         unsigned int i;
-        char *symbol;
 
         spinlock_lock(&exctbl_lock);
@@ -177 +176 @@
         
         for (i = 0; i < IVT_ITEMS; i++) {
-                symbol = symtab_fmt_name_lookup((unative_t) exc_table[i].f);
+                const char *symbol = symtab_fmt_name_lookup((unative_t) exc_table[i].f);
 
 #ifdef __32_BITS__