| /branches/tracing/kernel/generic/include/proc/task.h |
|---|
| 106,8 → 106,12 |
| answerbox_t kernel_box; |
| /** Thread used to service kernel answerbox */ |
| struct thread *kb_thread; |
| /** True if kb_thread != NULL or is being prepared */ |
| bool kb_thread_at_hand; |
| /** Kbox thread creation vs. begin of cleanup mutual exclusion */ |
| SPINLOCK_DECLARE(kb_cleanup_lock); |
| /** True if cleanup of kbox has already started */ |
| bool kb_finished; |
| /** Used for waiting on kbox thread shutdown */ |
| waitq_t kb_thread_shutdown_wq; |
| /** Architecture specific task data. */ |
| task_arch_t arch; |
| /branches/tracing/kernel/generic/include/proc/thread.h |
|---|
| 233,7 → 233,6 |
| extern thread_t *thread_create(void (* func)(void *), void *arg, task_t *task, |
| int flags, char *name, bool uncounted); |
| extern void thread_attach(thread_t *t, task_t *task); |
| extern int thread_attach_by_id(thread_t *t, task_id_t taskid); |
| extern void thread_ready(thread_t *t); |
| extern void thread_exit(void) __attribute__((noreturn)); |