src/sys/arch/arm/include/arm32