Index: kernel/genarch/include/genarch/drivers/legacy/ia32/io.h
===================================================================
--- kernel/genarch/include/genarch/drivers/legacy/ia32/io.h	(revision 6404acaa1e897da50572bbec1797ff03ffdc782d)
+++ kernel/genarch/include/genarch/drivers/legacy/ia32/io.h	(revision fdc190f6d5f7a24c0b4e0767ff2eb8eeb8cb7f0f)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup ia32
+/** @addtogroup kernel_ia32
  * @{
  */