Index: kernel/arch/ppc64/include/boot/boot.h
===================================================================
--- kernel/arch/ppc64/include/boot/boot.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/arch/ppc64/include/boot/boot.h	(revision 28ecadba2f66309e3ea4c819f1e768f64d97b699)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64	
+/** @addtogroup ppc64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc64_BOOT_H__
-#define __ppc64_BOOT_H__
+#ifndef KERN_ppc64_BOOT_H_
+#define KERN_ppc64_BOOT_H_
 
 #define BOOT_OFFSET		0x4000
@@ -89,5 +89,4 @@
 #endif
 
- /** @}
+/** @}
  */
-