Index: kernel/generic/include/ddi/ddi.h
===================================================================
--- kernel/generic/include/ddi/ddi.h	(revision 904b1bc3e43b98f81bec9e9296b154371c383776)
+++ kernel/generic/include/ddi/ddi.h	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup genericddi
+/** @addtogroup kernel_generic_ddi
  * @{
  */
Index: kernel/generic/include/ddi/irq.h
===================================================================
--- kernel/generic/include/ddi/irq.h	(revision 904b1bc3e43b98f81bec9e9296b154371c383776)
+++ kernel/generic/include/ddi/irq.h	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
@@ -27,5 +27,5 @@
  */
 
-/** @addtogroup genericddi
+/** @addtogroup kernel_generic_ddi
  * @{
  */