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 }; 17 18 19 void WritePC(addr_t pc); 20 void DoStackTrace(addr_t fp, addr_t pc); 21 void WriteTrapInfo(iframe* frame); 22 23 status_t arch_debug_init_early(kernel_args *args); 24 25 26 #endif // _KERNEL_ARCH_RISCV64_DEBUG_H 27