Searched refs:try_check_zero (Results 1 – 4 of 4) sorted by relevance
| /linux/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/ |
| 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()
|
| /linux/kernel/rcu/ |
| A D | srcutree.c | 695 static bool try_check_zero(struct srcu_struct *ssp, int idx, int trycount) in try_check_zero() function
1210 if (!try_check_zero(ssp, idx, 1)) { in srcu_advance_state()
1227 if (!try_check_zero(ssp, idx, 2)) { in srcu_advance_state()
|
| /linux/ |
| A D | System.map | 4214 ffff8000101034d4 t try_check_zero
|
| A D | .tmp_System.map | 4214 ffff8000101034d4 t try_check_zero
|
Completed in 288 milliseconds