Index: kernel/arch/ppc64/src/ddi/ddi.c
===================================================================
--- kernel/arch/ppc64/src/ddi/ddi.c	(revision b4fa652eb2b10684af9602bd804587917a8ed99d)
+++ kernel/arch/ppc64/src/ddi/ddi.c	(revision 29b2bbf5311052c0b1ad8971cfac6843f0ef6a1b)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64ddi
+/** @addtogroup ppc64ddi
  * @{
  */
@@ -53,5 +53,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/src/interrupt.c
===================================================================
--- kernel/arch/ppc64/src/interrupt.c	(revision b4fa652eb2b10684af9602bd804587917a8ed99d)
+++ kernel/arch/ppc64/src/interrupt.c	(revision 29b2bbf5311052c0b1ad8971cfac6843f0ef6a1b)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64interrupt
+/** @addtogroup ppc64interrupt
  * @{
  */
@@ -72,5 +72,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/src/mm/frame.c
===================================================================
--- kernel/arch/ppc64/src/mm/frame.c	(revision b4fa652eb2b10684af9602bd804587917a8ed99d)
+++ kernel/arch/ppc64/src/mm/frame.c	(revision 29b2bbf5311052c0b1ad8971cfac6843f0ef6a1b)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64mm	
+/** @addtogroup ppc64mm	
  * @{
  */
@@ -68,5 +68,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/src/mm/memory_init.c
===================================================================
--- kernel/arch/ppc64/src/mm/memory_init.c	(revision b4fa652eb2b10684af9602bd804587917a8ed99d)
+++ kernel/arch/ppc64/src/mm/memory_init.c	(revision 29b2bbf5311052c0b1ad8971cfac6843f0ef6a1b)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64mm	
+/** @addtogroup ppc64mm	
  * @{
  */
@@ -53,5 +53,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/src/mm/page.c
===================================================================
--- kernel/arch/ppc64/src/mm/page.c	(revision b4fa652eb2b10684af9602bd804587917a8ed99d)
+++ kernel/arch/ppc64/src/mm/page.c	(revision 29b2bbf5311052c0b1ad8971cfac6843f0ef6a1b)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64mm	
+/** @addtogroup ppc64mm	
  * @{
  */
@@ -304,5 +304,4 @@
 }
 
- /** @}
- */
-
+/** @}
+ */
Index: kernel/arch/ppc64/src/proc/scheduler.c
===================================================================
--- kernel/arch/ppc64/src/proc/scheduler.c	(revision b4fa652eb2b10684af9602bd804587917a8ed99d)
+++ kernel/arch/ppc64/src/proc/scheduler.c	(revision 29b2bbf5311052c0b1ad8971cfac6843f0ef6a1b)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64proc
+/** @addtogroup ppc64proc
  * @{
  */
@@ -60,5 +60,4 @@
 }
 
- /** @}
+/** @}
  */
-