tsk/tasking.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

#ifndef JOVE_TASKING_H
#define JOVE_TASKING_H 1

#include <stddef.h>
#include <stdint.h>

typedef size_t tid_t;

struct Task
{
    struct Task *next;
    tid_t id;
    uintptr_t kbp;
    size_t perm;
};

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_get_pd(struct Task *task);
void task_perm_release(struct Task *task, size_t mask);

#endif