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