1 /* 2 * Copyright 2010, Ingo Weinhold, ingo_weinhold@gmx.de. 3 * Distributed under the terms of the MIT License. 4 */ 5 #ifndef _KERNEL_ARCH_RISCV64_DEBUG_H 6 #define _KERNEL_ARCH_RISCV64_DEBUG_H 7 8 9 #include <SupportDefs.h> 10 11 12 struct kernel_args; 13 struct iframe; 14 15 struct arch_debug_registers { 16 addr_t fp; 17 }; 18 19 20 status_t arch_debug_init_early(kernel_args *args); 21 22 23 #endif // _KERNEL_ARCH_RISCV64_DEBUG_H 24