Index: kernel/arch/arm32/src/ras.c
===================================================================
--- kernel/arch/arm32/src/ras.c	(revision c82047d5bd30287b89eec19e5cc73d85ca650cfb)
+++ kernel/arch/arm32/src/ras.c	(revision 818fffee39e7af9d4be402c0bbf35d4a06b82d6c)
@@ -86,2 +86,4 @@
 }
 
+/** @}
+ */
Index: kernel/generic/src/mm/frame.c
===================================================================
--- kernel/generic/src/mm/frame.c	(revision c82047d5bd30287b89eec19e5cc73d85ca650cfb)
+++ kernel/generic/src/mm/frame.c	(revision 818fffee39e7af9d4be402c0bbf35d4a06b82d6c)
@@ -1142,5 +1142,4 @@
 	size_t znum = find_zone(pfn, 1, 0);
 
-	
 	ASSERT(znum != (size_t) -1);