Index: kernel/generic/include/synch/rcu.h
===================================================================
--- kernel/generic/include/synch/rcu.h	(revision 25969ac8ac9e10be2ef6184e2a4f4353b5029607)
+++ kernel/generic/include/synch/rcu.h	(revision 089c23dc0f8b2b383c3ea99a54e425212fd47390)
@@ -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;