Index: kernel/arch/amd64/src/proc/scheduler.c
===================================================================
--- kernel/arch/amd64/src/proc/scheduler.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/arch/amd64/src/proc/scheduler.c	(revision 8fefd8b580bf28eb98fa4eda780105c9d6409cc7)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup amd64proc
+/** @addtogroup kernel_amd64_proc
  * @{
  */
Index: kernel/arch/amd64/src/proc/task.c
===================================================================
--- kernel/arch/amd64/src/proc/task.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/arch/amd64/src/proc/task.c	(revision 8fefd8b580bf28eb98fa4eda780105c9d6409cc7)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup amd64proc
+/** @addtogroup kernel_amd64_proc
  * @{
  */
Index: kernel/arch/amd64/src/proc/thread.c
===================================================================
--- kernel/arch/amd64/src/proc/thread.c	(revision 1b20da07baaa3e3c424f62c927274e676e4295cd)
+++ kernel/arch/amd64/src/proc/thread.c	(revision 8fefd8b580bf28eb98fa4eda780105c9d6409cc7)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup amd64proc
+/** @addtogroup kernel_amd64_proc
  * @{
  */