#include "process.h"
#include "hal/smp.h"

jove_owned_obj_t*
process_current(void)
{
    return processor_pcb(((processor_t*)processor_current()));
}

pid_t
pcb_getpid(pcb_t *pcb)
{
    return ((struct pcb_expected_header*)pcb)->pid;
}

jove_obj_t*
pcb_rootdir(pcb_t *pcb)
{
    return ((struct pcb_expected_header*)pcb)->rootdir;
}

jove_obj_t*
pcb_pagedir(pcb_t *pcb)
{
    return ((struct pcb_expected_header*)pcb)->pagedir;
}