Index: kernel/genarch/src/mm/as_ht.c
===================================================================
--- kernel/genarch/src/mm/as_ht.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/genarch/src/mm/as_ht.c	(revision 63a045c41ff533abb66be65fc068415be77ad7df)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup genarchmm
+/** @addtogroup kernel_genarch_mm
  * @{
  */
Index: kernel/genarch/src/mm/as_pt.c
===================================================================
--- kernel/genarch/src/mm/as_pt.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/genarch/src/mm/as_pt.c	(revision 63a045c41ff533abb66be65fc068415be77ad7df)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup genarchmm
+/** @addtogroup kernel_genarch_mm
  * @{
  */
Index: kernel/genarch/src/mm/asid.c
===================================================================
--- kernel/genarch/src/mm/asid.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/genarch/src/mm/asid.c	(revision 63a045c41ff533abb66be65fc068415be77ad7df)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup genarchmm
+/** @addtogroup kernel_genarch_mm
  * @{
  */
Index: kernel/genarch/src/mm/asid_fifo.c
===================================================================
--- kernel/genarch/src/mm/asid_fifo.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/genarch/src/mm/asid_fifo.c	(revision 63a045c41ff533abb66be65fc068415be77ad7df)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup genarchmm
+/** @addtogroup kernel_genarch_mm
  * @{
  */
Index: kernel/genarch/src/mm/page_ht.c
===================================================================
--- kernel/genarch/src/mm/page_ht.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/genarch/src/mm/page_ht.c	(revision 63a045c41ff533abb66be65fc068415be77ad7df)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup genarchmm
+/** @addtogroup kernel_genarch_mm
  * @{
  */
Index: kernel/genarch/src/mm/page_pt.c
===================================================================
--- kernel/genarch/src/mm/page_pt.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/genarch/src/mm/page_pt.c	(revision 63a045c41ff533abb66be65fc068415be77ad7df)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup genarchmm
+/** @addtogroup kernel_genarch_mm
  * @{
  */