#ifndef _JOVE_HAL_SMP_H
#define _JOVE_HAL_SMP_H 1

#include "obj.h"
#include "proc/process.h"

typedef struct processor processor_t;

processor_t *processor_current(void);

jove_owned_obj_t *processor_objdir(processor_t *processor);
jove_owned_obj_t *processor_getpcb(processor_t *processor);

void processor_setpcb(processor_t *processor, jove_owned_obj_t *pcb_obj);

#endif