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