Changeset 908bb96 in mainline for kernel/generic/src/interrupt/interrupt.c

Timestamp:

2012-11-22T21:42:36Z (11 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

e32720ff

Parents:

1dbc43f

Message:

Postpone printing the message about killing a task due to a failed late
reservation request until it is clear the task is going to be kiiled.

File:

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

kernel/generic/src/interrupt/interrupt.c

@@ -166 +166 @@
 }
 
-static NO_TRACE void fault_from_uspace_core(istate_t *istate, const char *fmt, va_list args)
-{
-        if (!TASK->silent_kill) {
-                printf("Task %s (%" PRIu64 ") killed due to an exception at "
-                    "program counter %p.\n", TASK->name, TASK->taskid,
-                    (void *) istate_get_pc(istate));
-        
-                istate_decode(istate);
-                stack_trace_istate(istate);
-        
-                printf("Kill message: ");
-                vprintf(fmt, args);
-                printf("\n");
-        }
+static NO_TRACE
+void fault_from_uspace_core(istate_t *istate, const char *fmt, va_list args)
+{
+        printf("Task %s (%" PRIu64 ") killed due to an exception at "
+            "program counter %p.\n", TASK->name, TASK->taskid,
+            (void *) istate_get_pc(istate));
+        
+        istate_decode(istate);
+        stack_trace_istate(istate);
+        
+        printf("Kill message: ");
+        vprintf(fmt, args);
+        printf("\n");
         
         task_kill_self(true);