Home
last modified time | relevance | path

Searched refs:preempt_disable_count (Results 1 – 2 of 2) sorted by relevance

/external/linux-kselftest/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/
Dpreempt.c55 __thread int preempt_disable_count; variable
59 BUG_ON(preempt_disable_count < 0 || preempt_disable_count == INT_MAX); in preempt_disable()
61 if (preempt_disable_count++) in preempt_disable()
72 BUG_ON(preempt_disable_count < 1); in preempt_enable()
74 if (--preempt_disable_count) in preempt_enable()
Dpreempt.h12 extern __thread int preempt_disable_count;
34 return preempt_disable_count; in preempt_count()
55 BUG_ON(preempt_disable_count); in might_sleep()