diff options
Diffstat (limited to 'usr/tasking.h')
-rw-r--r-- | usr/tasking.h | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/usr/tasking.h b/usr/tasking.h deleted file mode 100644 index 4b11999..0000000 --- a/usr/tasking.h +++ /dev/null @@ -1,28 +0,0 @@ -#ifndef JOVE_TASKING_H -#define JOVE_TASKING_H 1 - -#include <stddef.h> -#include <stdint.h> -#include "sys/types.h" -#include "mem/memory.h" - -struct Task -{ - struct Task *next; - tid_t id; - uintptr_t kbp; - size_t perm; - - page_directory_t *pd; -}; - -extern struct Task *task_current; - -void tasking_setup(void); - -struct Task *task_new(struct Task *parent); -struct Task *task_get(tid_t id); - -void task_perm_release(struct Task *task, size_t mask); - -#endif |