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
12struct arch_debug_registers {
13	addr_t r1;
14};
15
16
17#endif	// _KERNEL_ARCH_PPC_DEBUG_H
18