Index: kernel/generic/include/synch/condvar.h
===================================================================
--- kernel/generic/include/synch/condvar.h	(revision 78de83de52a9115dc77b09bb7029403dad8c2fb0)
+++ kernel/generic/include/synch/condvar.h	(revision 631281dedb2b080d5b5af149d4e4b05369d66c34)
@@ -69,5 +69,4 @@
     irq_spinlock_t *irq_lock, uint32_t usec, int flags);
 
-
 #endif
 
Index: kernel/generic/include/synch/rcu.h
===================================================================
--- kernel/generic/include/synch/rcu.h	(revision 78de83de52a9115dc77b09bb7029403dad8c2fb0)
+++ kernel/generic/include/synch/rcu.h	(revision 631281dedb2b080d5b5af149d4e4b05369d66c34)
@@ -40,5 +40,4 @@
 #include <barrier.h>
 
-
 /** Use to assign a pointer to newly initialized data to a rcu reader
  * accessible pointer.
@@ -92,12 +91,8 @@
 #define rcu_access(ptr) ACCESS_ONCE(ptr)
 
-
-
-
 #include <debug.h>
 #include <preemption.h>
 #include <cpu.h>
 #include <proc/thread.h>
-
 
 extern bool rcu_read_locked(void);
@@ -122,5 +117,4 @@
 extern void _rcu_synchronize(bool expedite);
 
-
 #ifdef RCU_PREEMPT_A
 
@@ -158,5 +152,4 @@
 extern rcu_gp_t _rcu_cur_gp;
 extern void _rcu_signal_read_unlock(void);
-
 
 /** Unconditionally records a quiescent state for the local cpu. */
Index: kernel/generic/include/synch/rcu_types.h
===================================================================
--- kernel/generic/include/synch/rcu_types.h	(revision 78de83de52a9115dc77b09bb7029403dad8c2fb0)
+++ kernel/generic/include/synch/rcu_types.h	(revision 631281dedb2b080d5b5af149d4e4b05369d66c34)
@@ -43,5 +43,4 @@
 #endif
 
-
 /* Fwd decl. */
 struct thread;
@@ -58,5 +57,4 @@
 	struct rcu_item *next;
 } rcu_item_t;
-
 
 /** RCU related per-cpu data. */
@@ -140,5 +138,4 @@
 } rcu_cpu_data_t;
 
-
 /** RCU related per-thread data. */
 typedef struct rcu_thread_data {
@@ -165,5 +162,4 @@
 } rcu_thread_data_t;
 
-
 #endif
 
Index: kernel/generic/include/synch/workqueue.h
===================================================================
--- kernel/generic/include/synch/workqueue.h	(revision 78de83de52a9115dc77b09bb7029403dad8c2fb0)
+++ kernel/generic/include/synch/workqueue.h	(revision 631281dedb2b080d5b5af149d4e4b05369d66c34)
@@ -56,6 +56,4 @@
 } work_t;
 
-
-
 extern void workq_global_init(void);
 extern void workq_global_worker_init(void);
@@ -74,5 +72,4 @@
 extern void workq_global_print_info(void);
 
-
 extern void workq_after_thread_ran(void);
 extern void workq_before_thread_is_ready(struct thread *);