tools/memory-model/linux-kernel.def

12 // Release Acquire and friends
13 smp_store_release(X,V) { __store{RELEASE}(*X,V); }
15 rcu_assign_pointer(X,V) { __store{RELEASE}(X,V); }
33 xchg_release(X,V) __xchg{RELEASE}(X,V)
38 cmpxchg_release(X,V,W) __cmpxchg{RELEASE}(X,V,W)
78 atomic_add_return_release(V,X) __atomic_op_return{RELEASE}(X,+,V)
82 atomic_fetch_add_release(V,X) __atomic_fetch_op{RELEASE}(X,+,V)
87 atomic_fetch_and_release(V,X) __atomic_fetch_op{RELEASE}(X,&,V)
92 atomic_fetch_or_release(V,X) __atomic_fetch_op{RELEASE}(X,|,V)
97 atomic_fetch_xor_release(V,X) __atomic_fetch_op{RELEASE}(X,^,V)
102 atomic_inc_return_release(X) __atomic_op_return{RELEASE}(X,+,1)
106 atomic_fetch_inc_release(X) __atomic_fetch_op{RELEASE}(X,+,1)
111 atomic_sub_return_release(V,X) __atomic_op_return{RELEASE}(X,-,V)
115 atomic_fetch_sub_release(V,X) __atomic_fetch_op{RELEASE}(X,-,V)
120 atomic_dec_return_release(X) __atomic_op_return{RELEASE}(X,-,1)
124 atomic_fetch_dec_release(X) __atomic_fetch_op{RELEASE}(X,-,1)
128 atomic_xchg_release(X,V) __xchg{RELEASE}(X,V)
133 atomic_cmpxchg_release(X,V,W) __cmpxchg{RELEASE}(X,V,W)
141 atomic_add_negative_release(V,X) __atomic_op_return{RELEASE}(X,+,V) < 0
145 atomic_fetch_andnot_release(V,X) __atomic_fetch_op{RELEASE}(X,&~,V)