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

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