Index: kernel/generic/include/synch/rcu.h
===================================================================
--- kernel/generic/include/synch/rcu.h	(revision 853d613674dd858ae7ed3518ec21cc3a354747c5)
+++ kernel/generic/include/synch/rcu.h	(revision fbe6b651a78c4b81e0a4c92df631602e2ec46d85)
@@ -140,4 +140,5 @@
 {
 	THE->rcu_nesting += RCU_CNT_INC;
+	compiler_barrier();
 }
 
@@ -145,4 +146,5 @@
 static inline void rcu_read_unlock(void)
 {
+	compiler_barrier();
 	THE->rcu_nesting -= RCU_CNT_INC;
 	
