Index: kernel/arch/mips32/include/arch/mm/frame.h
===================================================================
--- kernel/arch/mips32/include/arch/mm/frame.h	(revision f1380b76772fb5d1aa03637b5e57bd9b929fea61)
+++ kernel/arch/mips32/include/arch/mm/frame.h	(revision 53ad43cce05b0004bca31a7c5d6822fc33686cf1)
@@ -41,5 +41,5 @@
 #define FRAME_LOWPRIO  0
 
-#ifndef __ASM__
+#ifndef __ASSEMBLER__
 
 extern void frame_low_arch_init(void);
@@ -47,5 +47,5 @@
 extern void physmem_print(void);
 
-#endif /* __ASM__ */
+#endif /* __ASSEMBLER__ */
 
 #endif
Index: kernel/arch/mips32/include/arch/mm/page.h
===================================================================
--- kernel/arch/mips32/include/arch/mm/page.h	(revision f1380b76772fb5d1aa03637b5e57bd9b929fea61)
+++ kernel/arch/mips32/include/arch/mm/page.h	(revision 53ad43cce05b0004bca31a7c5d6822fc33686cf1)
@@ -42,5 +42,5 @@
 #define PAGE_SIZE	FRAME_SIZE
 
-#ifndef __ASM__
+#ifndef __ASSEMBLER__
 #	define KA2PA(x)	(((uintptr_t) (x)) - 0x80000000)
 #	define PA2KA(x)	(((uintptr_t) (x)) + 0x80000000)
@@ -143,5 +143,5 @@
 #define PTE_EXECUTABLE_ARCH(pte)	1
 
-#ifndef __ASM__
+#ifndef __ASSEMBLER__
 
 #include <mm/mm.h>
@@ -199,5 +199,5 @@
 extern void page_arch_init(void);
 
-#endif /* __ASM__ */
+#endif /* __ASSEMBLER__ */
 
 #endif