Index: kernel/arch/amd64/include/ddi/ddi.h
===================================================================
--- kernel/arch/amd64/include/ddi/ddi.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/arch/amd64/include/ddi/ddi.h	(revision 6ff1f1e849d8a798e3ed34a6dcdd58b2f25b0055)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64ddi
+/** @addtogroup amd64ddi
  * @{
  */
@@ -36,6 +36,6 @@
  */
 
-#ifndef __amd64_DDI_H__
-#define __amd64_DDI_H__
+#ifndef KERN_amd64_DDI_H_
+#define KERN_amd64_DDI_H_
 
 extern void io_perm_bitmap_install(void);
@@ -43,5 +43,4 @@
 #endif
 
- /** @}
+/** @}
  */
-