#ifndef _JOVE_DEVICE_PROCESSOR_H
#define _JOVE_DEVICE_PROCESSOR_H 1

#if defined(__x86_64__)
#include "arch/x86_64/processor.h"
#endif

/**@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);

#endif