Index: kernel/arch/mips32/include/asm/boot.h
===================================================================
--- kernel/arch/mips32/include/asm/boot.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/arch/mips32/include/asm/boot.h	(revision 5d684e4c0dde4f587dd5aca281c366f71f72853b)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __mips32_BOOT_H_
-#define __mips32_BOOT_H_
+#ifndef KERN_mips32_BOOT_H_
+#define KERN_mips32_BOOT_H_
 
 
@@ -44,3 +44,2 @@
 /** @}
  */
-
Index: kernel/arch/mips32/include/asm/regname.h
===================================================================
--- kernel/arch/mips32/include/asm/regname.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/arch/mips32/include/asm/regname.h	(revision 5d684e4c0dde4f587dd5aca281c366f71f72853b)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __mips32_REGNAME_H_
-#define __mips32_REGNAME_H_
+#ifndef KERN_mips32_REGNAME_H_
+#define KERN_mips32_REGNAME_H_
 
 #define zero    0
@@ -92,6 +92,5 @@
 #define eepc		30
 
-
-#endif /* _REGNAME_H_ */
+#endif /* KERN_mips32_REGNAME_H_ */
 
 /** @}