/*
 * \brief  Kernel entrypoint for SMP systems
 * \author Martin Stein
 * \author Stefan Kalkowski
 * \date   2011-10-20
 */

/*
 * Copyright (C) 2011-2016 Genode Labs GmbH
 *
 * This file is part of the Genode OS framework, which is distributed
 * under the terms of the GNU General Public License version 2.
 */

/* core includes */
#include <kernel/cpu.h>
#include <kernel/lock.h>


extern "C" void kernel()
{
	using namespace Kernel;

	Cpu_job * new_job;
	unsigned cpu_id;

	{
		Lock::Guard guard(data_lock());

		cpu_id = Cpu::executing_id();
		Cpu * const cpu  = cpu_pool()->cpu(cpu_id);
		cpu->scheduled_job().exception(cpu_id);
		new_job = &cpu->schedule();
	}

	new_job->proceed(cpu_id);
}