Index: kernel/arch/ia32/include/arch.h
===================================================================
--- kernel/arch/ia32/include/arch.h	(revision 27ab6a7c0ae5ecb4768a58e568c321a2c017a35b)
+++ kernel/arch/ia32/include/arch.h	(revision 775df256ad7a0a0feb1bdb048244e7079659e3ec)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -33,10 +33,9 @@
  */
 
-#ifndef __ia32_ARCH_H__
-#define __ia32_ARCH_H__
+#ifndef KERN_ia32_ARCH_H_
+#define KERN_ia32_ARCH_H_
 
 #endif
 
- /** @}
+/** @}
  */
-