Make UEFI boot-platform build again
[haiku.git] / headers / private / system / arch / arm / arch_cpu_defs.h
blob180ef73edf1698b472c3c5033e16645dd3bf3969
1 /*
2 * Copyright 2010, Ingo Weinhold, ingo_weinhold@gmx.de.
3 * Distributed under the terms of the MIT License.
4 */
5 #ifndef _SYSTEM_ARCH_ARM_DEFS_H
6 #define _SYSTEM_ARCH_ARM_DEFS_H
9 #define SPINLOCK_PAUSE() do {} while (false)
12 #endif /* _SYSTEM_ARCH_ARM_DEFS_H */