Index: kernel/arch/ppc64/include/arch.h
===================================================================
--- kernel/arch/ppc64/include/arch.h	(revision 32fffef00aa36a7913892cc0d7ff6eff828b2e7e)
+++ kernel/arch/ppc64/include/arch.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64	
+/** @addtogroup ppc64	
  * @{
  */
@@ -33,10 +33,9 @@
  */
 
-#ifndef __ppc64_ARCH_H__
-#define __ppc64_ARCH_H__
+#ifndef KERN_ppc64_ARCH_H_
+#define KERN_ppc64_ARCH_H_
 
 #endif
 
- /** @}
+/** @}
  */
-