Index: kernel/arch/ia32/include/boot/boot.h
===================================================================
--- kernel/arch/ia32/include/boot/boot.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/arch/ia32/include/boot/boot.h	(revision 6ff1f1e849d8a798e3ed34a6dcdd58b2f25b0055)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia32_BOOT_H__
-#define __ia32_BOOT_H__
+#ifndef KERN_ia32_BOOT_H_
+#define KERN_ia32_BOOT_H_
 
 #define BOOT_OFFSET		0x108000
@@ -47,5 +47,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/boot/memmap.h
===================================================================
--- kernel/arch/ia32/include/boot/memmap.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/arch/ia32/include/boot/memmap.h	(revision 6ff1f1e849d8a798e3ed34a6dcdd58b2f25b0055)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia32_MEMMAP_H__
-#define __ia32_MEMMAP_H__
+#ifndef KERN_ia32_MEMMAP_H_
+#define KERN_ia32_MEMMAP_H_
 
 /* E820h memory range types - other values*/
@@ -74,5 +74,4 @@
 #endif
 
- /** @}
+/** @}
  */
-