Index: kernel/arch/ppc64/include/proc/task.h
===================================================================
--- kernel/arch/ppc64/include/proc/task.h	(revision 32fffef00aa36a7913892cc0d7ff6eff828b2e7e)
+++ kernel/arch/ppc64/include/proc/task.h	(revision a9ac978f3aba8259d5f8270ee59a08a41d15d94c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64proc
+/** @addtogroup ppc64proc
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc64_TASK_H__
-#define __ppc64_TASK_H__
+#ifndef KERN_ppc64_TASK_H_
+#define KERN_ppc64_TASK_H_
 
 typedef struct {
@@ -44,5 +44,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/include/proc/thread.h
===================================================================
--- kernel/arch/ppc64/include/proc/thread.h	(revision 32fffef00aa36a7913892cc0d7ff6eff828b2e7e)
+++ kernel/arch/ppc64/include/proc/thread.h	(revision a9ac978f3aba8259d5f8270ee59a08a41d15d94c)
@@ -47,3 +47,2 @@
 /** @}
  */
-