Home
last modified time | relevance | path

Searched refs:thread_cpu_id (Results 1 – 3 of 3) sorted by relevance

/linux/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/
A Dpreempt.c55 __thread int thread_cpu_id; variable
65 thread_cpu_id = nondet_int(); in preempt_disable()
66 assume(thread_cpu_id >= 0); in preempt_disable()
67 assume(thread_cpu_id < NR_CPUS); in preempt_disable()
68 lock_impl_lock(&cpu_preemption_locks[thread_cpu_id]); in preempt_disable()
78 lock_impl_unlock(&cpu_preemption_locks[thread_cpu_id]); in preempt_enable()
A Dpreempt.h10 extern __thread int thread_cpu_id;
46 return thread_cpu_id; in get_cpu()
A Dpercpu.h69 THIS_CPU_ADD_HELPER(per_cpu_ptr(&(pcp), thread_cpu_id), \

Completed in 5 milliseconds