Index: kernel/genarch/include/mm/as_ht.h
===================================================================
--- kernel/genarch/include/mm/as_ht.h	(revision f9a56c06291b17dff86c61d294ec807828f33f96)
+++ kernel/genarch/include/mm/as_ht.h	(revision f47fd19f9885f194c0b816b7814357789c9565e2)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarchmm
+/** @addtogroup genarchmm
  * @{
  */
@@ -42,5 +42,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/genarch/include/mm/as_pt.h
===================================================================
--- kernel/genarch/include/mm/as_pt.h	(revision f9a56c06291b17dff86c61d294ec807828f33f96)
+++ kernel/genarch/include/mm/as_pt.h	(revision f47fd19f9885f194c0b816b7814357789c9565e2)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarchmm
+/** @addtogroup genarchmm
  * @{
  */
@@ -42,5 +42,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/genarch/include/mm/page_ht.h
===================================================================
--- kernel/genarch/include/mm/page_ht.h	(revision f9a56c06291b17dff86c61d294ec807828f33f96)
+++ kernel/genarch/include/mm/page_ht.h	(revision f47fd19f9885f194c0b816b7814357789c9565e2)
@@ -27,12 +27,10 @@
  */
 
- /** @addtogroup genarchmm
+/** @addtogroup genarchmm
  * @{
  */
-/** @file
- */
-
-/*
- * This is the generic page hash table interface.
+/**
+ * @file
+ * @brief	This is the generic page hash table interface.
  */
 
@@ -88,5 +86,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/genarch/include/mm/page_pt.h
===================================================================
--- kernel/genarch/include/mm/page_pt.h	(revision f9a56c06291b17dff86c61d294ec807828f33f96)
+++ kernel/genarch/include/mm/page_pt.h	(revision f47fd19f9885f194c0b816b7814357789c9565e2)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarchmm
+/** @addtogroup genarchmm
  * @{
  */
@@ -117,5 +117,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/genarch/src/mm/as_ht.c
===================================================================
--- kernel/genarch/src/mm/as_ht.c	(revision f9a56c06291b17dff86c61d294ec807828f33f96)
+++ kernel/genarch/src/mm/as_ht.c	(revision f47fd19f9885f194c0b816b7814357789c9565e2)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarchmm
+/** @addtogroup genarchmm
  * @{
  */
@@ -119,5 +119,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/genarch/src/mm/as_pt.c
===================================================================
--- kernel/genarch/src/mm/as_pt.c	(revision f9a56c06291b17dff86c61d294ec807828f33f96)
+++ kernel/genarch/src/mm/as_pt.c	(revision f47fd19f9885f194c0b816b7814357789c9565e2)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarchmm
+/** @addtogroup genarchmm
  * @{
  */
@@ -140,5 +140,5 @@
 }
 
- /** @}
+/** @}
  */
 
Index: kernel/genarch/src/mm/asid.c
===================================================================
--- kernel/genarch/src/mm/asid.c	(revision f9a56c06291b17dff86c61d294ec807828f33f96)
+++ kernel/genarch/src/mm/asid.c	(revision f47fd19f9885f194c0b816b7814357789c9565e2)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarchmm
+/** @addtogroup genarchmm
  * @{
  */
@@ -175,5 +175,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/genarch/src/mm/asid_fifo.c
===================================================================
--- kernel/genarch/src/mm/asid_fifo.c	(revision f9a56c06291b17dff86c61d294ec807828f33f96)
+++ kernel/genarch/src/mm/asid_fifo.c	(revision f47fd19f9885f194c0b816b7814357789c9565e2)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarchmm
+/** @addtogroup genarchmm
  * @{
  */
@@ -95,5 +95,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/genarch/src/mm/page_ht.c
===================================================================
--- kernel/genarch/src/mm/page_ht.c	(revision f9a56c06291b17dff86c61d294ec807828f33f96)
+++ kernel/genarch/src/mm/page_ht.c	(revision f47fd19f9885f194c0b816b7814357789c9565e2)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarchmm
+/** @addtogroup genarchmm
  * @{
  */
@@ -245,5 +245,4 @@
 }
 
- /** @}
- */
-
+/** @}
+ */
Index: kernel/genarch/src/mm/page_pt.c
===================================================================
--- kernel/genarch/src/mm/page_pt.c	(revision f9a56c06291b17dff86c61d294ec807828f33f96)
+++ kernel/genarch/src/mm/page_pt.c	(revision f47fd19f9885f194c0b816b7814357789c9565e2)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarchmm
+/** @addtogroup genarchmm
  * @{
  */
@@ -266,5 +266,4 @@
 }
 
- /** @}
- */
-
+/** @}
+ */