/*
 * Copyright 2008, Dustin Howett, dustin.howett@gmail.com. All rights reserved.
 * Copyright 2004-2010, Axel Dörfler, axeld@pinc-software.de.
 * Distributed under the terms of the MIT License.
 *
 * Copyright 2001, Travis Geiselbrecht. All rights reserved.
 * Distributed under the terms of the NewOS License.
*/


#include "smp.h"

#include <string.h>

#include <KernelExport.h>

#include <kernel.h>
#include <safemode.h>
#include <boot/platform.h>
#include <boot/stage2.h>
#include <boot/menu.h>

#include "arch_smp.h"


#define NO_SMP 0

//#define TRACE_SMP
#ifdef TRACE_SMP
#	define TRACE(x) dprintf x
#else
#	define TRACE(x) ;
#endif


int
smp_get_current_cpu(void)
{
	return arch_smp_get_current_cpu();
}


void
smp_init_other_cpus(void)
{
	arch_smp_init_other_cpus();
}


void
smp_boot_other_cpus(addr_t pageTable,
	addr_t kernelEntry, addr_t virtKernelArgs)
{
	if (gKernelArgs.num_cpus < 2)
		return;

	arch_smp_boot_other_cpus(pageTable,
		kernelEntry, virtKernelArgs);
}


void
smp_add_safemode_menus(Menu *menu)
{
	arch_smp_add_safemode_menus(menu);
}


void
smp_init(void)
{
#if NO_SMP
	gKernelArgs.num_cpus = 1;
	return;
#endif

	arch_smp_init();
}