{
unsigned long tmp;
+ barrier(); /* Ensure the compiler does not reorder us with mutex */
tmp = rcu_reader.ctr;
/*
* rcu_gp_ctr is
} else {
_STORE_SHARED(rcu_reader.ctr, rcu_reader.ctr - RCU_GP_COUNT);
}
+ barrier(); /* Ensure the compiler does not reorder us with mutex */
}
-#ifdef __cplusplus
+#ifdef __cplusplus
}
#endif