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