| /branches/sparc/kernel/generic/src/main/uinit.c |
|---|
| 46,9 → 46,7 |
| #include <userspace.h> |
| #include <mm/slab.h> |
| #include <arch.h> |
| #include <udebug/udebug.h> |
| /** Thread used to bring up userspace thread. |
| * |
| * @param arg Pointer to structure containing userspace entry and stack |
| 67,10 → 65,6 |
| * deployed for the event of forceful task termination. |
| */ |
| thread_detach(THREAD); |
| #ifdef CONFIG_UDEBUG |
| udebug_stoppable_end(); |
| #endif |
| uarg.uspace_entry = ((uspace_arg_t *) arg)->uspace_entry; |
| uarg.uspace_stack = ((uspace_arg_t *) arg)->uspace_stack; |