Searched refs:try_check_zero (Results 1 – 2 of 2) sorted by relevance
| /Linux-v5.4/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/ |
| D | simple_sync_srcu.c | 25 bool try_check_zero(struct srcu_struct *sp, int idx, int trycount);
46 assume(try_check_zero(sp, idx, trycount)); in synchronize_srcu()
50 assume(try_check_zero(sp, idx^1, trycount)); in synchronize_srcu()
|
| /Linux-v5.4/kernel/rcu/ |
| D | srcutree.c | 698 static bool try_check_zero(struct srcu_struct *ssp, int idx, int trycount) in try_check_zero() function
1127 if (!try_check_zero(ssp, idx, 1)) { in srcu_advance_state()
1142 if (!try_check_zero(ssp, idx, 2)) { in srcu_advance_state()
|
