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