#ifndef _JOVE_x86_64_HAL_PROCESS_H
#define _JOVE_x86_64_HAL_PROCESS_H 1

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

typedef struct process_control_block
{
    struct pcb_header header;

    jove_obj_t *iopb;

    page_t syscall_page;
    page_t interrupt_page;
} pcb_t;

#endif