Searched refs:thread_cpu_id (Results 1 – 3 of 3) sorted by relevance
55 __thread int thread_cpu_id; variable65 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()
10 extern __thread int thread_cpu_id;46 return thread_cpu_id; in get_cpu()
69 THIS_CPU_ADD_HELPER(per_cpu_ptr(&(pcp), thread_cpu_id), \
