Make UEFI boot-platform build again
[haiku.git] / headers / private / kernel / arch / arm / arch_debug.h
blobdff4020e7e89a5946469816cf96f00eb62dfbf56
1 /*
2 * Copyright 2010, Ingo Weinhold, ingo_weinhold@gmx.de.
3 * Distributed under the terms of the MIT License.
4 */
5 #ifndef _KERNEL_ARCH_ARM_DEBUG_H
6 #define _KERNEL_ARCH_ARM_DEBUG_H
9 #include <SupportDefs.h>
12 struct arch_debug_registers {
16 #endif // _KERNEL_ARCH_ARM_DEBUG_H