Home
last modified time | relevance | path

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

/linux/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/
A Dpreempt.c56 __thread int preempt_disable_count; variable
60 BUG_ON(preempt_disable_count < 0 || preempt_disable_count == INT_MAX); in preempt_disable()
62 if (preempt_disable_count++) in preempt_disable()
73 BUG_ON(preempt_disable_count < 1); in preempt_enable()
75 if (--preempt_disable_count) in preempt_enable()
A Dpreempt.h13 extern __thread int preempt_disable_count;
35 return preempt_disable_count; in preempt_count()
56 BUG_ON(preempt_disable_count); in might_sleep()

Completed in 13 milliseconds