Rev 1589 | Rev 1600 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1589 | Rev 1597 | ||
|---|---|---|---|
| Line 47... | Line 47... | ||
| 47 | #include <memstr.h> |
47 | #include <memstr.h> |
| 48 | #include <print.h> |
48 | #include <print.h> |
| 49 | #include <elf.h> |
49 | #include <elf.h> |
| 50 | #include <errno.h> |
50 | #include <errno.h> |
| 51 | #include <syscall/copy.h> |
51 | #include <syscall/copy.h> |
| - | 52 | #include <console/klog.h> |
|
| 52 | 53 | ||
| 53 | #ifndef LOADED_PROG_STACK_PAGES_NO |
54 | #ifndef LOADED_PROG_STACK_PAGES_NO |
| 54 | #define LOADED_PROG_STACK_PAGES_NO 1 |
55 | #define LOADED_PROG_STACK_PAGES_NO 1 |
| 55 | #endif |
56 | #endif |
| 56 | 57 | ||
| Line 399... | Line 400... | ||
| 399 | * and no new threads can be created. |
400 | * and no new threads can be created. |
| 400 | */ |
401 | */ |
| 401 | 402 | ||
| 402 | ipc_cleanup(); |
403 | ipc_cleanup(); |
| 403 | futex_cleanup(); |
404 | futex_cleanup(); |
| - | 405 | klog_printf("Cleanup of task %lld completed.", TASK->taskid); |
|
| 404 | } |
406 | } |
| 405 | 407 | ||
| 406 | /** Kernel task used to kill a userspace task when its main thread exits. |
408 | /** Kernel task used to kill a userspace task when its main thread exits. |
| 407 | * |
409 | * |
| 408 | * This thread waits until the main userspace thread (i.e. uninit) exits. |
410 | * This thread waits until the main userspace thread (i.e. uninit) exits. |