Index: kernel/arch/ia32/src/bios/bios.c
===================================================================
--- kernel/arch/ia32/src/bios/bios.c	(revision 27ab6a7c0ae5ecb4768a58e568c321a2c017a35b)
+++ kernel/arch/ia32/src/bios/bios.c	(revision 16529d53af40d438671e67b8969cbe09086dc68f)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -44,5 +44,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/src/ia32.c
===================================================================
--- kernel/arch/ia32/src/ia32.c	(revision 27ab6a7c0ae5ecb4768a58e568c321a2c017a35b)
+++ kernel/arch/ia32/src/ia32.c	(revision 16529d53af40d438671e67b8969cbe09086dc68f)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32
+/** @addtogroup ia32
  * @{
  */
@@ -156,5 +156,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/src/mm/as.c
===================================================================
--- kernel/arch/ia32/src/mm/as.c	(revision 27ab6a7c0ae5ecb4768a58e568c321a2c017a35b)
+++ kernel/arch/ia32/src/mm/as.c	(revision 16529d53af40d438671e67b8969cbe09086dc68f)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32mm	
+/** @addtogroup ia32mm	
  * @{
  */
@@ -43,5 +43,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/src/mm/frame.c
===================================================================
--- kernel/arch/ia32/src/mm/frame.c	(revision 27ab6a7c0ae5ecb4768a58e568c321a2c017a35b)
+++ kernel/arch/ia32/src/mm/frame.c	(revision 16529d53af40d438671e67b8969cbe09086dc68f)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32mm	
+/** @addtogroup ia32mm	
  * @{
  */
@@ -144,5 +144,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/src/mm/memory_init.c
===================================================================
--- kernel/arch/ia32/src/mm/memory_init.c	(revision 27ab6a7c0ae5ecb4768a58e568c321a2c017a35b)
+++ kernel/arch/ia32/src/mm/memory_init.c	(revision 16529d53af40d438671e67b8969cbe09086dc68f)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32mm	
+/** @addtogroup ia32mm	
  * @{
  */
@@ -76,6 +76,4 @@
 }
 
-
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/src/mm/page.c
===================================================================
--- kernel/arch/ia32/src/mm/page.c	(revision 27ab6a7c0ae5ecb4768a58e568c321a2c017a35b)
+++ kernel/arch/ia32/src/mm/page.c	(revision 16529d53af40d438671e67b8969cbe09086dc68f)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32mm
+/** @addtogroup ia32mm
  * @{
  */
@@ -118,5 +118,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/src/mm/tlb.c
===================================================================
--- kernel/arch/ia32/src/mm/tlb.c	(revision 27ab6a7c0ae5ecb4768a58e568c321a2c017a35b)
+++ kernel/arch/ia32/src/mm/tlb.c	(revision 16529d53af40d438671e67b8969cbe09086dc68f)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32mm	
+/** @addtogroup ia32mm	
  * @{
  */
@@ -68,5 +68,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/src/pm.c
===================================================================
--- kernel/arch/ia32/src/pm.c	(revision 27ab6a7c0ae5ecb4768a58e568c321a2c017a35b)
+++ kernel/arch/ia32/src/pm.c	(revision 16529d53af40d438671e67b8969cbe09086dc68f)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -237,5 +237,4 @@
 }
 
- /** @}
- */
-
+/** @}
+ */
Index: kernel/arch/ia32/src/proc/thread.c
===================================================================
--- kernel/arch/ia32/src/proc/thread.c	(revision 27ab6a7c0ae5ecb4768a58e568c321a2c017a35b)
+++ kernel/arch/ia32/src/proc/thread.c	(revision 16529d53af40d438671e67b8969cbe09086dc68f)
@@ -46,3 +46,2 @@
 /** @}
  */
-
Index: kernel/arch/ia32/src/smp/apic.c
===================================================================
--- kernel/arch/ia32/src/smp/apic.c	(revision 27ab6a7c0ae5ecb4768a58e568c321a2c017a35b)
+++ kernel/arch/ia32/src/smp/apic.c	(revision 16529d53af40d438671e67b8969cbe09086dc68f)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -578,5 +578,4 @@
 #endif /* CONFIG_SMP */
 
- /** @}
- */
-
+/** @}
+ */
Index: kernel/arch/ia32/src/smp/ipi.c
===================================================================
--- kernel/arch/ia32/src/smp/ipi.c	(revision 27ab6a7c0ae5ecb4768a58e568c321a2c017a35b)
+++ kernel/arch/ia32/src/smp/ipi.c	(revision 16529d53af40d438671e67b8969cbe09086dc68f)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -45,5 +45,4 @@
 #endif /* CONFIG_SMP */
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/src/smp/mps.c
===================================================================
--- kernel/arch/ia32/src/smp/mps.c	(revision 27ab6a7c0ae5ecb4768a58e568c321a2c017a35b)
+++ kernel/arch/ia32/src/smp/mps.c	(revision 16529d53af40d438671e67b8969cbe09086dc68f)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -431,5 +431,4 @@
 #endif /* CONFIG_SMP */
 
- /** @}
- */
-
+/** @}
+ */
Index: kernel/arch/ia32/src/smp/smp.c
===================================================================
--- kernel/arch/ia32/src/smp/smp.c	(revision 27ab6a7c0ae5ecb4768a58e568c321a2c017a35b)
+++ kernel/arch/ia32/src/smp/smp.c	(revision 16529d53af40d438671e67b8969cbe09086dc68f)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -181,5 +181,4 @@
 #endif /* CONFIG_SMP */
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/src/userspace.c
===================================================================
--- kernel/arch/ia32/src/userspace.c	(revision 27ab6a7c0ae5ecb4768a58e568c321a2c017a35b)
+++ kernel/arch/ia32/src/userspace.c	(revision 16529d53af40d438671e67b8969cbe09086dc68f)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -84,5 +84,4 @@
 }
 
- /** @}
+/** @}
  */
-