haiku/headers/private/kernel/boot/arch/arm64
..
arch_cpu.h