#ifndef _JOVE_x86_64_HAL_PROCESS_H
#define _JOVE_x86_64_HAL_PROCESS_H 1

#include "proc/process.h"
#include "arch/x86_64/x86_64.h"
#include "lib/rbtree.h"

typedef struct process_control_block
{
    struct pcb_expected_header header;

    jove_obj_t *iopb;

    int killed;
    
    struct cpu_context context;
    void *ksp;
    char kstack[];
} pcb_t;

#define PCB_KSTACK_SIZE (0x1000 - sizeof(pcb_t))

#endif