Searched refs:thread_cpu_id (Results 1 – 3 of 3) sorted by relevance
54 __thread int thread_cpu_id; variable64 thread_cpu_id = nondet_int(); in preempt_disable()65 assume(thread_cpu_id >= 0); in preempt_disable()66 assume(thread_cpu_id < NR_CPUS); in preempt_disable()67 lock_impl_lock(&cpu_preemption_locks[thread_cpu_id]); in preempt_disable()77 lock_impl_unlock(&cpu_preemption_locks[thread_cpu_id]); in preempt_enable()
9 extern __thread int thread_cpu_id;45 return thread_cpu_id; in get_cpu()
68 THIS_CPU_ADD_HELPER(per_cpu_ptr(&(pcp), thread_cpu_id), \