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