HomeSort by relevance Sort by last modified time
    Searched refs:thread_cpu_id (Results 1 - 3 of 3) sorted by null

  /external/linux-kselftest/tools/testing/selftests/rcutorture/formal/srcu-cbmc/src/
preempt.c 54 __thread int thread_cpu_id; variable
64 thread_cpu_id = nondet_int();
65 assume(thread_cpu_id >= 0);
66 assume(thread_cpu_id < NR_CPUS);
67 lock_impl_lock(&cpu_preemption_locks[thread_cpu_id]);
77 lock_impl_unlock(&cpu_preemption_locks[thread_cpu_id]);
preempt.h 9 extern __thread int thread_cpu_id;
45 return thread_cpu_id;
percpu.h 68 THIS_CPU_ADD_HELPER(per_cpu_ptr(&(pcp), thread_cpu_id), \

Completed in 52 milliseconds