Searched refs:try_check_zero (Results 1 – 2 of 2) sorted by relevance
| /linux-5.19.10/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-5.19.10/kernel/rcu/ |
| D | srcutree.c | 963 static bool try_check_zero(struct srcu_struct *ssp, int idx, int trycount) in try_check_zero() function
1503 if (!try_check_zero(ssp, idx, 1)) { in srcu_advance_state()
1521 if (!try_check_zero(ssp, idx, 2)) { in srcu_advance_state()
|