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));