#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