Index: kernel/arch/amd64/include/arch.h
===================================================================
--- kernel/arch/amd64/include/arch.h	(revision 27ab6a7c0ae5ecb4768a58e568c321a2c017a35b)
+++ kernel/arch/amd64/include/arch.h	(revision 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
@@ -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
 
- /** @}
+/** @}
  */
-
