Searched refs:try_check_zero (Results 1 – 2 of 2) sorted by relevance
| /Linux-v4.19/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-v4.19/kernel/rcu/ |
| D | srcutree.c | 714 static bool try_check_zero(struct srcu_struct *sp, int idx, int trycount) in try_check_zero() function
1140 if (!try_check_zero(sp, idx, 1)) { in srcu_advance_state()
1155 if (!try_check_zero(sp, idx, 2)) { in srcu_advance_state()
|
