Index: kernel/arch/amd64/include/arch.h
===================================================================
--- kernel/arch/amd64/include/arch.h	(revision 27ab6a7c0ae5ecb4768a58e568c321a2c017a35b)
+++ kernel/arch/amd64/include/arch.h	(revision 34d9469e3b197174b8bbc9c194e03a69d4ef5c36)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64	
+/** @addtogroup amd64	
  * @{
  */
@@ -33,10 +33,9 @@
  */
 
-#ifndef __amd64_ARCH_H__
-#define __amd64_ARCH_H__
+#ifndef KERN_amd64_ARCH_H_
+#define KERN_amd64_ARCH_H_
 
 #endif
 
- /** @}
+/** @}
  */
-