2 * Copyright 2004-2005, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
3 * Distributed under the terms of the MIT License.
9 #include <SupportDefs.h>
16 extern void arch_spin(bigtime_t microseconds
);
17 extern void arch_cpu_memory_read_barrier(void);
18 extern void arch_cpu_memory_write_barrier(void);
19 extern status_t
boot_arch_cpu_init(void);
20 extern void cpu_init(void);