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