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