#ifndef _JOVE_HAL_SMP_H
#define _JOVE_HAL_SMP_H 1

#include "obj.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_pcb(processor_t *processor);

#endif