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