Index: kernel/genarch/src/ddi/ddi-bitmap.c
===================================================================
--- kernel/genarch/src/ddi/ddi-bitmap.c	(revision 6404acaa1e897da50572bbec1797ff03ffdc782d)
+++ kernel/genarch/src/ddi/ddi-bitmap.c	(revision d4eba6d776758cf1fb2f6c2a27ccd1ffb585d964)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup amd64ddi
+/** @addtogroup kernel_amd64_ddi
  * @{
  */