Index: kernel/generic/include/synch/rcu.h
===================================================================
--- kernel/generic/include/synch/rcu.h	(revision 05882233d8ca97c6879ac5c42456c344c8569d89)
+++ kernel/generic/include/synch/rcu.h	(revision 460ea7ed2af9977b884414b68b2f7b94fa472cfd)
@@ -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. */