#ifndef _JOVE_DEVICE_PROCESSOR_H
#define _JOVE_DEVICE_PROCESSOR_H 1

#include "object.h"

/**@FUNC Initialize the bootstrap processor.*/
void bsp_setup(void);
/**@FUNC Initialize the given processor with kernel-specific values.
 * Generically:
 *  Instantiates a new kernel object representing the passed processor.
 * For x86_64:
 *  Loads and uses the generic GDT and IDT.
 * @PARAM processor processor to initialize.*/
void processor_setup(void* processor);

/**@FUNC Returns the processor struct this function is called by.
 * @RET pointer to current processor.*/
void *processor_current(void);

objdir_t *processor_get_objdir(void *processor);

#endif