preempt_disable_count   56 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c __thread int preempt_disable_count;
preempt_disable_count   60 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c 	BUG_ON(preempt_disable_count < 0 || preempt_disable_count == INT_MAX);
preempt_disable_count   62 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c 	if (preempt_disable_count++)
preempt_disable_count   73 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c 	BUG_ON(preempt_disable_count < 1);
preempt_disable_count   75 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.c 	if (--preempt_disable_count)
preempt_disable_count   13 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.h extern __thread int preempt_disable_count;
preempt_disable_count   35 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.h 	return preempt_disable_count;
preempt_disable_count   56 tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/preempt.h 	BUG_ON(preempt_disable_count);