+#define rcu_defer_exit rcu_defer_exit_memb
+
+#define rcu_flavor rcu_flavor_memb
+
+#define rcu_yield_active rcu_yield_active_memb
+#define rcu_rand_yield rcu_rand_yield_memb
+
+/* Specific to MEMBARRIER flavor */
+#define rcu_has_sys_membarrier rcu_has_sys_membarrier_memb