/** Copyright 2012, Axel Dörfler, axeld@pinc-software.de.* Distributed under the terms of the MIT License.*///! This is only needed for the debug build.#include <cpu.h>#include <smp.h>#ifdef acquire_spinlock# undef acquire_spinlock#endifcpu_ent gCPU[8];extern "C" voidacquire_spinlock(spinlock* lock){}extern "C" int32smp_get_current_cpu(){return 0;}