try_check_zero   1128 kernel/rcu/srcutree.c 		if (!try_check_zero(ssp, idx, 1)) {
try_check_zero   1143 kernel/rcu/srcutree.c 		if (!try_check_zero(ssp, idx, 2)) {
try_check_zero     25 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/simple_sync_srcu.c bool try_check_zero(struct srcu_struct *sp, int idx, int trycount);
try_check_zero     46 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/simple_sync_srcu.c 	assume(try_check_zero(sp, idx, trycount));
try_check_zero     50 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/simple_sync_srcu.c 	assume(try_check_zero(sp, idx^1, trycount));