haiku/headers/os/arch/riscv64/arch_debugger.h