1/*
2 * Copyright 2012, Axel Dörfler, axeld@pinc-software.de.
3 * Distributed under the terms of the MIT License.
4 */
5
6
7//!	This is only needed for the debug build.
8
9
10#include <cpu.h>
11#include <smp.h>
12
13
14#ifdef acquire_spinlock
15#	undef acquire_spinlock
16#endif
17
18
19cpu_ent gCPU[8];
20
21
22extern "C" void
23acquire_spinlock(spinlock* lock)
24{
25}
26
27
28extern "C" int32
29smp_get_current_cpu()
30{
31	return 0;
32}
33