+#ifdef CONFIG_RCU_FORCE_SYS_MEMBARRIER
+static
+void rcu_sys_membarrier_status(int available)
+{
+ if (!available)
+ abort();
+}
+#else
+static
+void rcu_sys_membarrier_status(int available)
+{
+ if (available)
+ urcu_bp_has_sys_membarrier = 1;
+}
+#endif
+