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 19 cpu_ent gCPU[8]; 20 21 22 extern "C" void 23 acquire_spinlock(spinlock* lock) 24 { 25 } 26 27 28 extern "C" int32 29 smp_get_current_cpu() 30 { 31 return 0; 32 } 33