Searched refs:try_check_zero (Results 1 – 2 of 2) sorted by relevance
| /OK3568_Linux_fs/kernel/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/ |
| H A 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()
|
| /OK3568_Linux_fs/kernel/kernel/rcu/ |
| H A D | srcutree.c | 701 static bool try_check_zero(struct srcu_struct *ssp, int idx, int trycount) in try_check_zero() function
1198 if (!try_check_zero(ssp, idx, 1)) { in srcu_advance_state()
1215 if (!try_check_zero(ssp, idx, 2)) { in srcu_advance_state()
|