Index: kernel/generic/include/adt/avl.h
===================================================================
--- kernel/generic/include/adt/avl.h	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/include/adt/avl.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -106,5 +106,4 @@
 };
 
-
 /** Create empty AVL tree.
  *
Index: kernel/generic/include/adt/cht.h
===================================================================
--- kernel/generic/include/adt/cht.h	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/include/adt/cht.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -130,5 +130,4 @@
 	member_to_inst((item), type, member)
 
-
 #define cht_read_lock()     rcu_read_lock()
 #define cht_read_unlock()   rcu_read_unlock()
Index: kernel/generic/include/adt/hash_table.h
===================================================================
--- kernel/generic/include/adt/hash_table.h	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/include/adt/hash_table.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -102,5 +102,4 @@
     void *);
 
-
 #endif
 
Index: kernel/generic/include/align.h
===================================================================
--- kernel/generic/include/align.h	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/include/align.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -46,5 +46,4 @@
 #define ALIGN_DOWN(s, a)  ((s) & ~((a) - 1))
 
-
 /** Align to the nearest higher address.
  *
Index: kernel/generic/include/arch.h
===================================================================
--- kernel/generic/include/arch.h	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/include/arch.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -38,5 +38,4 @@
 #include <arch/asm.h>   /* get_stack_base() */
 #include <config.h>
-
 
 /*
Index: kernel/generic/include/cc.h
===================================================================
--- kernel/generic/include/cc.h	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/include/cc.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -47,5 +47,4 @@
 #endif
 
-
 #endif
 
Index: kernel/generic/include/cpu.h
===================================================================
--- kernel/generic/include/cpu.h	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/include/cpu.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -46,5 +46,4 @@
 
 #define CPU                  THE->cpu
-
 
 /** CPU structure.
Index: kernel/generic/include/cpu/cpu_mask.h
===================================================================
--- kernel/generic/include/cpu/cpu_mask.h	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/include/cpu/cpu_mask.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -64,5 +64,4 @@
 } cpu_mask_t;
 
-
 extern size_t cpu_mask_size(void);
 extern void cpu_mask_active(cpu_mask_t *);
Index: kernel/generic/include/ipc/irq.h
===================================================================
--- kernel/generic/include/ipc/irq.h	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/include/ipc/irq.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -47,5 +47,4 @@
 #include <adt/list.h>
 
-
 extern irq_ownership_t ipc_irq_top_half_claim(irq_t *);
 extern void ipc_irq_top_half_handler(irq_t *);
Index: kernel/generic/include/lib/refcount.h
===================================================================
--- kernel/generic/include/lib/refcount.h	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/include/lib/refcount.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -122,3 +122,2 @@
 
 #endif
-
Index: kernel/generic/include/mm/as.h
===================================================================
--- kernel/generic/include/mm/as.h	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/include/mm/as.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -52,5 +52,4 @@
 #define AS                   THE->as
 
-
 /**
  * Defined to be true if user address space and kernel address space shadow each
Index: kernel/generic/include/preemption.h
===================================================================
--- kernel/generic/include/preemption.h	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/include/preemption.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -59,5 +59,4 @@
 	} while (0)
 
-
 #endif
 
Index: kernel/generic/include/proc/task.h
===================================================================
--- kernel/generic/include/proc/task.h	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/include/proc/task.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -64,5 +64,4 @@
 
 #define TASK                 THE->task
-
 
 struct thread;
Index: kernel/generic/include/proc/thread.h
===================================================================
--- kernel/generic/include/proc/thread.h	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/include/proc/thread.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -52,5 +52,4 @@
 #include <arch.h>
 
-
 #define THREAD              THE->thread
 
Index: kernel/generic/include/smp/smp_call.h
===================================================================
--- kernel/generic/include/smp/smp_call.h	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/include/smp/smp_call.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -49,6 +49,4 @@
 } smp_call_t;
 
-
-
 extern void smp_call(unsigned int, smp_call_func_t, void *);
 extern void smp_call_async(unsigned int, smp_call_func_t, void *, smp_call_t *);
@@ -62,10 +60,6 @@
 #endif
 
-
-
-
 #endif	/* KERN_SMP_CALL_H_ */
 
 /** @}
  */
-
Index: kernel/generic/include/synch/condvar.h
===================================================================
--- kernel/generic/include/synch/condvar.h	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/include/synch/condvar.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -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 e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/include/synch/rcu.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -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 e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/include/synch/rcu_types.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -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 e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/include/synch/workqueue.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -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 *);
Index: kernel/generic/include/verify.h
===================================================================
--- kernel/generic/include/verify.h	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/include/verify.h	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -36,5 +36,4 @@
 #define KERN_VERIFY_H_
 
-
 #ifdef CONFIG_VERIFY_VCC
 
@@ -66,5 +65,4 @@
 #endif /* CONFIG_VERIFY_VCC */
 
-
 #endif
 
Index: kernel/generic/src/adt/avl.c
===================================================================
--- kernel/generic/src/adt/avl.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/adt/avl.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -81,5 +81,4 @@
 	return NULL;
 }
-
 
 /** Find the node with the smallest key in an AVL tree.
@@ -660,5 +659,4 @@
 }
 
-
 /** Delete a node with the smallest key from the AVL tree.
  *
@@ -730,3 +728,2 @@
 /** @}
  */
-
Index: kernel/generic/src/adt/cht.c
===================================================================
--- kernel/generic/src/adt/cht.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/adt/cht.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -26,5 +26,4 @@
  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
-
 
 /** @addtogroup genericadt
@@ -287,5 +286,4 @@
  */
 
-
 #include <adt/cht.h>
 #include <adt/hash.h>
@@ -396,5 +394,4 @@
 } wnd_t;
 
-
 /* Sentinel node used by all buckets. Stores the greatest possible hash value.*/
 static const cht_link_t sentinel = {
@@ -403,5 +400,4 @@
 	.hash = -1
 };
-
 
 static size_t size_to_order(size_t bucket_cnt, size_t min_order);
@@ -1683,5 +1679,4 @@
 }
 
-
 #if 0
 static void move_head(marked_ptr_t *psrc_head, marked_ptr_t *pdest_head)
@@ -2710,5 +2705,4 @@
 }
 
-
 /** @}
  */
Index: kernel/generic/src/adt/hash_table.c
===================================================================
--- kernel/generic/src/adt/hash_table.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/adt/hash_table.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -60,5 +60,4 @@
 #define HT_MAX_LOAD     2
 
-
 static size_t round_up_size(size_t);
 static bool alloc_table(size_t, list_t **);
@@ -73,5 +72,4 @@
 	/* no-op */
 }
-
 
 /** Create chained hash table.
@@ -205,5 +203,4 @@
 }
 
-
 /** Insert item into a hash table if not already present.
  *
@@ -412,5 +409,4 @@
 }
 
-
 /** Shrinks the table if the table is only sparely populated. */
 static inline void shrink_if_needed(hash_table_t *h)
@@ -472,5 +468,4 @@
 }
 
-
 /** @}
  */
Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/console/cmd.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -647,5 +647,4 @@
 };
 
-
 /** Initialize command info structure.
  *
Index: kernel/generic/src/console/kconsole.c
===================================================================
--- kernel/generic/src/console/kconsole.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/console/kconsole.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -364,5 +364,4 @@
 			    position++)
 				putwchar(current[position]);
-
 
 			/*
Index: kernel/generic/src/cpu/cpu_mask.c
===================================================================
--- kernel/generic/src/cpu/cpu_mask.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/cpu/cpu_mask.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
Index: kernel/generic/src/ipc/ipc.c
===================================================================
--- kernel/generic/src/ipc/ipc.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/ipc/ipc.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -527,5 +527,4 @@
 }
 
-
 /** Wait for a phone call.
  *
@@ -888,5 +887,4 @@
 	    0, NULL, NULL, 0);
 }
-
 
 static void ipc_print_call_list(list_t *list)
Index: kernel/generic/src/ipc/ipcrsc.c
===================================================================
--- kernel/generic/src/ipc/ipcrsc.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/ipc/ipcrsc.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -147,5 +147,4 @@
 	.destroy = phone_destroy
 };
-
 
 /** Allocate new phone in the specified task.
Index: kernel/generic/src/ipc/ops/concttome.c
===================================================================
--- kernel/generic/src/ipc/ops/concttome.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/ipc/ops/concttome.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -102,5 +102,4 @@
 }
 
-
 sysipc_ops_t ipc_m_connect_to_me_ops = {
 	.request_preprocess = null_request_preprocess,
Index: kernel/generic/src/ipc/ops/datawrite.c
===================================================================
--- kernel/generic/src/ipc/ops/datawrite.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/ipc/ops/datawrite.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -94,5 +94,4 @@
 }
 
-
 sysipc_ops_t ipc_m_data_write_ops = {
 	.request_preprocess = request_preprocess,
Index: kernel/generic/src/ipc/sysipc.c
===================================================================
--- kernel/generic/src/ipc/sysipc.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/ipc/sysipc.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -118,5 +118,4 @@
 }
 
-
 /*
  * Functions that preprocess answer before sending it to the recepient.
@@ -245,5 +244,4 @@
 	SYSIPC_OP(answer_process, call);
 }
-
 
 /** Do basic kernel processing of received call request.
Index: kernel/generic/src/lib/ra.c
===================================================================
--- kernel/generic/src/lib/ra.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/lib/ra.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -304,5 +304,4 @@
 		}
 
-
 		/* Put unneeded parts back. */
 		if (pred) {
Index: kernel/generic/src/lib/str_error.c
===================================================================
--- kernel/generic/src/lib/str_error.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/lib/str_error.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -99,3 +99,2 @@
 	return "Unknown error code";
 }
-
Index: kernel/generic/src/log/log.c
===================================================================
--- kernel/generic/src/log/log.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/log/log.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -249,5 +249,4 @@
 	};
 
-
 	ret = printf_core(fmt, &ps, args);
 
@@ -386,5 +385,4 @@
 }
 
-
 /** @}
  */
Index: kernel/generic/src/mm/as.c
===================================================================
--- kernel/generic/src/mm/as.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/mm/as.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -228,5 +228,4 @@
 	interrupts_restore(ipl);
 
-
 	/*
 	 * Destroy address space areas of the address space.
@@ -563,5 +562,4 @@
 	}
 }
-
 
 /** Create address space area of common attributes.
Index: kernel/generic/src/mm/backend_elf.c
===================================================================
--- kernel/generic/src/mm/backend_elf.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/mm/backend_elf.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -235,5 +235,4 @@
 	return true;
 }
-
 
 /** Service a page fault in the ELF backend address space area.
Index: kernel/generic/src/mm/backend_phys.c
===================================================================
--- kernel/generic/src/mm/backend_phys.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/mm/backend_phys.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -80,5 +80,4 @@
 };
 
-
 bool phys_create(as_area_t *area)
 {
@@ -98,5 +97,4 @@
 	assert(mutex_locked(&area->lock));
 }
-
 
 void phys_destroy(as_area_t *area)
@@ -118,5 +116,4 @@
 	return true;
 }
-
 
 /** Service a page fault in the address space area backed by physical memory.
Index: kernel/generic/src/mm/frame.c
===================================================================
--- kernel/generic/src/mm/frame.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/mm/frame.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -178,5 +178,4 @@
 }
 
-
 /** Find a zone with a given frames.
  *
Index: kernel/generic/src/mm/km.c
===================================================================
--- kernel/generic/src/mm/km.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/mm/km.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -295,3 +295,2 @@
 /** @}
  */
-
Index: kernel/generic/src/preempt/preemption.c
===================================================================
--- kernel/generic/src/preempt/preemption.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/preempt/preemption.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -38,5 +38,4 @@
 #include <preemption.h>
 
-
 /** @}
  */
Index: kernel/generic/src/smp/smp_call.c
===================================================================
--- kernel/generic/src/smp/smp_call.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/smp/smp_call.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -48,5 +48,4 @@
 static void call_done(smp_call_t *call_info);
 static void call_wait(smp_call_t *call_info);
-
 
 /** Init smp_call() on the local cpu. */
@@ -274,5 +273,4 @@
 }
 
-
 /** @}
  */
Index: kernel/generic/src/synch/condvar.c
===================================================================
--- kernel/generic/src/synch/condvar.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/synch/condvar.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -189,5 +189,4 @@
 }
 
-
 /** @}
  */
Index: kernel/generic/src/synch/futex.c
===================================================================
--- kernel/generic/src/synch/futex.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/synch/futex.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -94,5 +94,4 @@
 } futex_ptr_t;
 
-
 static void destroy_task_cache(work_t *work);
 
@@ -116,5 +115,4 @@
 static bool task_fut_ht_equal(const cht_link_t *item1, const cht_link_t *item2);
 static bool task_fut_ht_key_equal(void *key, const cht_link_t *item);
-
 
 /** Mutex protecting the global futex hash table.
@@ -226,5 +224,4 @@
 }
 
-
 /** Initialize the kernel futex structure.
  *
@@ -284,5 +281,4 @@
 	return get_and_cache_futex(paddr, uaddr);
 }
-
 
 /** Finds the physical address of the futex variable. */
@@ -331,5 +327,4 @@
 	return futex;
 }
-
 
 /**
@@ -448,5 +443,4 @@
 }
 
-
 /** Return the hash of the key stored in the item */
 size_t futex_ht_hash(const ht_link_t *item)
Index: kernel/generic/src/synch/rcu.c
===================================================================
--- kernel/generic/src/synch/rcu.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/synch/rcu.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -26,5 +26,4 @@
  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
-
 
 /** @addtogroup sync
@@ -247,5 +246,4 @@
 } rcu_data_t;
 
-
 static rcu_data_t rcu;
 
@@ -294,6 +292,4 @@
 static void upd_max_cbs_in_slice(size_t arriving_cbs_cnt);
 
-
-
 /** Initializes global RCU structures. */
 void rcu_init(void)
@@ -394,5 +390,4 @@
 	link_initialize(&thread->rcu.preempt_link);
 }
-
 
 /** Cleans up global RCU resources and stops dispatching callbacks.
@@ -715,5 +710,4 @@
 	return cur_cbs_empty() && next_cbs_empty() && arriving_cbs_empty();
 }
-
 
 /** Reclaimer thread dispatches locally queued callbacks once a GP ends. */
@@ -918,5 +912,4 @@
 	return expedite;
 }
-
 
 #ifdef RCU_PREEMPT_A
@@ -1291,5 +1284,4 @@
 }
 
-
 /** The detector thread detects and notifies reclaimers of grace period ends. */
 static void detector(void *arg)
@@ -1337,5 +1329,4 @@
 	return !interrupted;
 }
-
 
 static void end_cur_gp(void)
@@ -1608,5 +1599,4 @@
 	}
 }
-
 
 #endif /* RCU_PREEMPT_PODZIMEK */
Index: kernel/generic/src/synch/smp_memory_barrier.c
===================================================================
--- kernel/generic/src/synch/smp_memory_barrier.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/synch/smp_memory_barrier.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -40,5 +40,4 @@
 #include <config.h>
 
-
 static void issue_mem_bar(void *arg)
 {
Index: kernel/generic/src/synch/waitq.c
===================================================================
--- kernel/generic/src/synch/waitq.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/synch/waitq.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -61,5 +61,4 @@
 static void waitq_sleep_timed_out(void *);
 static void waitq_complete_wakeup(waitq_t *);
-
 
 /** Initialize wait queue
@@ -489,5 +488,4 @@
 }
 
-
 /** Internal SMP- and IRQ-unsafe version of waitq_wakeup()
  *
Index: kernel/generic/src/synch/workqueue.c
===================================================================
--- kernel/generic/src/synch/workqueue.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/synch/workqueue.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -52,5 +52,4 @@
 #define WORK_ITEM_MAGIC  0xfeec1777U
 
-
 struct work_queue {
 	/*
@@ -96,5 +95,4 @@
 };
 
-
 /** Min number of idle workers to keep. */
 static size_t min_worker_cnt;
@@ -111,5 +109,4 @@
 static int booting = true;
 
-
 typedef struct {
 	IRQ_SPINLOCK_DECLARE(lock);
@@ -121,9 +118,6 @@
 static nonblock_adder_t nonblock_adder;
 
-
-
 /** Typedef a worker thread signaling operation prototype. */
 typedef void (*signal_op_t)(struct work_queue *workq);
-
 
 /* Fwd decl. */
@@ -790,5 +784,4 @@
 	--workq->idle_worker_cnt;
 }
-
 
 /** Invoked from thread_ready() right before the thread is woken up. */
@@ -888,5 +881,4 @@
 }
 
-
 static bool dequeue_add_req(nonblock_adder_t *info, struct work_queue **pworkq)
 {
@@ -925,5 +917,4 @@
 	}
 }
-
 
 static void nonblock_init(void)
Index: kernel/generic/src/udebug/udebug_ipc.c
===================================================================
--- kernel/generic/src/udebug/udebug_ipc.c	(revision e90cfa68438860942f686f82beddadc619e11d9a)
+++ kernel/generic/src/udebug/udebug_ipc.c	(revision 173b3bdc85bf0eff3efa47b82e307fdc3f1186c8)
@@ -123,5 +123,4 @@
 }
 
-
 /** Process a GO call.
  *
@@ -303,5 +302,4 @@
 }
 
-
 /** Process an ARGS_READ call.
  *
@@ -387,5 +385,4 @@
 	ipc_answer(&TASK->kb.box, call);
 }
-
 
 /** Process an MEM_READ call.