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