Index: kernel/arch/arm32/src/ddi/ddi.c
===================================================================
--- kernel/arch/arm32/src/ddi/ddi.c	(revision d630139332f649889fde186aaa1729516725c881)
+++ kernel/arch/arm32/src/ddi/ddi.c	(revision bd72c3e96c6695500538eeb7ff16155b0844005d)
@@ -31,4 +31,5 @@
  */
 /** @file
+ *  @brief DDI.
  */