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