#ifndef JOVE_TASKING_H
#define JOVE_TASKING_H 1

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

typedef size_t tid_t;

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

extern struct Thread *thread_current;

void tasking_setup(void);

struct Thread *thread_new(struct Thread *parent);
struct Thread *thread_get(tid_t id);
void thread_perm_release(struct Thread *thread, size_t mask);

#endif