Index: boot/arch/arm32/include/arch/arch.h
===================================================================
--- boot/arch/arm32/include/arch/arch.h	(revision 5b0cf635022b821f28f7a014ad5b39d005cd7666)
+++ boot/arch/arm32/include/arch/arch.h	(revision 84239b1cd7c5ed286263ce4edb649da00b34b249)
@@ -62,5 +62,5 @@
 #endif
 
-#ifndef __ASM__
+#ifndef __ASSEMBLER__
 #define PA2KA(addr)  (((uintptr_t) (addr)) + PA_OFFSET)
 #else