31,6 → 31,7 |
|
#include <typedefs.h> |
#include <synch/spinlock.h> |
#include <adt/btree.h> |
#include <adt/list.h> |
#include <ipc/ipc.h> |
|
39,9 → 40,8 |
SPINLOCK_DECLARE(lock); |
char *name; |
link_t th_head; /**< List of threads contained in this task. */ |
link_t tasks_link; /**< Link to other tasks within the system. */ |
as_t *as; /**< Address space. */ |
task_id_t taskid; /**< Unique identity of task */ |
task_id_t taskid; /**< Unique identity of task */ |
|
/* IPC stuff */ |
answerbox_t answerbox; /**< Communication endpoint */ |
50,7 → 50,7 |
}; |
|
extern spinlock_t tasks_lock; |
extern link_t tasks_head; |
extern btree_t tasks_btree; |
|
extern void task_init(void); |
extern task_t *task_create(as_t *as, char *name); |