| 31,6 → 31,7 |
|---|
| |
| #include <typedefs.h> |
| #include <synch/spinlock.h> |
| #include <synch/mutex.h> |
| #include <adt/btree.h> |
| #include <adt/list.h> |
| #include <ipc/ipc.h> |
| 53,6 → 54,13 |
|---|
| atomic_t active_calls; /**< Active asynchronous messages */ |
| |
| task_arch_t arch; /**< Architecture specific task data. */ |
| |
| /** |
| * Serializes access to the B+tree of task's futexes. This mutex is |
| * independent on the task spinlock. |
| */ |
| mutex_t futexes_lock; |
| btree_t futexes; /**< B+tree of futexes referenced by this task. */ |
| }; |
| |
| extern spinlock_t tasks_lock; |