/** Copyright 2010, Ingo Weinhold, ingo_weinhold@gmx.de.* Distributed under the terms of the MIT License.*/#ifndef _KERNEL_ARCH_PPC_DEBUG_H#define _KERNEL_ARCH_PPC_DEBUG_H#include <SupportDefs.h>struct arch_debug_registers {addr_t r1;};#endif // _KERNEL_ARCH_PPC_DEBUG_H