Add missing rcu_cmpxchg_pointer define
[urcu.git] / formal-model / futex-wakeup / futex.ltl
... / ...
CommitLineData
1([] <> ((!np_) || (!queue_has_entry)))
This page took 0.022137 seconds and 4 git commands to generate.