1 /* 2 * Copyright 2010, Ingo Weinhold, ingo_weinhold@gmx.de. 3 * Distributed under the terms of the MIT License. 4 */ 5 #ifndef _KERNEL_ARCH_PPC_DEBUG_H 6 #define _KERNEL_ARCH_PPC_DEBUG_H 7 8 9 #include <SupportDefs.h> 10 11 12 struct arch_debug_registers { 13 addr_t r1; 14 }; 15 16 17 #endif // _KERNEL_ARCH_PPC_DEBUG_H 18