| /branches/tracing/kernel/generic/src/main/uinit.c |
|---|
| 45,6 → 45,7 |
| #include <proc/thread.h> |
| #include <userspace.h> |
| #include <mm/slab.h> |
| #include <udebug/udebug.h> |
| #include <arch.h> |
| /** Thread used to bring up userspace thread. |
| 65,6 → 66,8 |
| * deployed for the event of forceful task termination. |
| */ |
| thread_detach(THREAD); |
| udebug_stoppable_end(); |
| uarg.uspace_entry = ((uspace_arg_t *) arg)->uspace_entry; |
| uarg.uspace_stack = ((uspace_arg_t *) arg)->uspace_stack; |
| /branches/tracing/kernel/generic/src/proc/thread.c |
|---|
| 436,11 → 436,6 |
| t->debug_active = true; |
| } |
| } |
| /* FIXME: this must be done very carefully.. an unstoppable |
| thread cannot appear just-so, it must be possible to catch it. */ |
| if (t->flags & THREAD_FLAG_USPACE) |
| ++task->not_stoppable_count; |
| } |
| /** Add thread to the threads tree. |