#ifndef APOS_TCB_H
#define APOS_TCB_H

#include <apos/mem_regions.h>
#include <apos/types.h>
#include <tcb.h> /* arch-specific data */

struct tcb {
	struct sp_node sp_n;
	struct mem_region_root sp_r;
	struct arch_tcbd tcbd;

	id_t pid;
	id_t tid;

	vm_t callback;
	vm_t proc_stack;
	vm_t call_stack;

	vm_t entry;

	struct vm_branch *b_r;
};

stat_t threads_insert(struct tcb *t);
struct tcb *cur_tcb();
struct tcb *get_tcb(id_t tid);

#endif /* APOS_TCB_H */
