Index: kernel/arch/ia64/src/mm/as.c
===================================================================
--- kernel/arch/ia64/src/mm/as.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia64/src/mm/as.c	(revision df8eababb31187582db57d47cd83f7ecfb4f1ee9)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia64mm
+/** @addtogroup kernel_ia64_mm
  * @{
  */
Index: kernel/arch/ia64/src/mm/frame.c
===================================================================
--- kernel/arch/ia64/src/mm/frame.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia64/src/mm/frame.c	(revision df8eababb31187582db57d47cd83f7ecfb4f1ee9)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia64mm
+/** @addtogroup kernel_ia64_mm
  * @{
  */
Index: kernel/arch/ia64/src/mm/km.c
===================================================================
--- kernel/arch/ia64/src/mm/km.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia64/src/mm/km.c	(revision df8eababb31187582db57d47cd83f7ecfb4f1ee9)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia64mm
+/** @addtogroup kernel_ia64_mm
  * @{
  */
Index: kernel/arch/ia64/src/mm/page.c
===================================================================
--- kernel/arch/ia64/src/mm/page.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia64/src/mm/page.c	(revision df8eababb31187582db57d47cd83f7ecfb4f1ee9)
@@ -28,5 +28,5 @@
  */
 
-/** @addtogroup ia64mm
+/** @addtogroup kernel_ia64_mm
  * @{
  */
Index: kernel/arch/ia64/src/mm/tlb.c
===================================================================
--- kernel/arch/ia64/src/mm/tlb.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia64/src/mm/tlb.c	(revision df8eababb31187582db57d47cd83f7ecfb4f1ee9)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia64mm
+/** @addtogroup kernel_ia64_mm
  * @{
  */
Index: kernel/arch/ia64/src/mm/vhpt.c
===================================================================
--- kernel/arch/ia64/src/mm/vhpt.c	(revision 09ab0a9afc9379f1604c0fd75cac2d9287ba022c)
+++ kernel/arch/ia64/src/mm/vhpt.c	(revision df8eababb31187582db57d47cd83f7ecfb4f1ee9)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia64mm
+/** @addtogroup kernel_ia64_mm
  * @{
  */