Index: kernel/arch/arm32/src/ras.c
===================================================================
--- kernel/arch/arm32/src/ras.c	(revision c82047d5bd30287b89eec19e5cc73d85ca650cfb)
+++ kernel/arch/arm32/src/ras.c	(revision 47fecbb0a9198c8184b7b6a37a96d9e4fe7bf351)
@@ -86,2 +86,4 @@
 }
 
+/** @}
+ */