Index: kernel/arch/abs32le/src/mm/frame.c
===================================================================
--- kernel/arch/abs32le/src/mm/frame.c	(revision ae8d7b08ee87b5250ac55eb2e4d59710943f445a)
+++ kernel/arch/abs32le/src/mm/frame.c	(revision c58441dd527eed4a812322d14db545c1ffcd46d5)
@@ -49,5 +49,4 @@
 }
 
-
 void frame_low_arch_init(void)
 {
Index: kernel/arch/ia32/src/mm/frame.c
===================================================================
--- kernel/arch/ia32/src/mm/frame.c	(revision ae8d7b08ee87b5250ac55eb2e4d59710943f445a)
+++ kernel/arch/ia32/src/mm/frame.c	(revision c58441dd527eed4a812322d14db545c1ffcd46d5)
@@ -147,5 +147,4 @@
 }
 
-
 void frame_low_arch_init(void)
 {
Index: kernel/test/synch/rcu1.c
===================================================================
--- kernel/test/synch/rcu1.c	(revision ae8d7b08ee87b5250ac55eb2e4d59710943f445a)
+++ kernel/test/synch/rcu1.c	(revision c58441dd527eed4a812322d14db545c1ffcd46d5)
@@ -435,5 +435,5 @@
 		}
 		
-	} 
+	}
 }