Index: kernel/arch/arm32/src/ras.c
===================================================================
--- kernel/arch/arm32/src/ras.c	(revision b3b7e14a1e27b36c3c59ce41e9bc3060bdc881fd)
+++ kernel/arch/arm32/src/ras.c	(revision 26e7d6da331e8d35b5e83880a9740de5e9e4bd99)
@@ -86,2 +86,4 @@
 }
 
+/** @}
+ */