Index: kernel/arch/ia32/src/proc/scheduler.c
===================================================================
--- kernel/arch/ia32/src/proc/scheduler.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/arch/ia32/src/proc/scheduler.c	(revision 63a045c41ff533abb66be65fc068415be77ad7df)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32proc
+/** @addtogroup kernel_ia32_proc
  * @{
  */
Index: kernel/arch/ia32/src/proc/task.c
===================================================================
--- kernel/arch/ia32/src/proc/task.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/arch/ia32/src/proc/task.c	(revision 63a045c41ff533abb66be65fc068415be77ad7df)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32proc
+/** @addtogroup kernel_ia32_proc
  * @{
  */
Index: kernel/arch/ia32/src/proc/thread.c
===================================================================
--- kernel/arch/ia32/src/proc/thread.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/arch/ia32/src/proc/thread.c	(revision 63a045c41ff533abb66be65fc068415be77ad7df)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32proc
+/** @addtogroup kernel_ia32_proc
  * @{
  */