Searched refs:run_cpu_id (Results 1 – 1 of 1) sorted by relevance
572 int run_cpu_id = pset_id_to_cpu_id(p) + r; variable573 cpu_set_thread_current(run_cpu_id, threads[running][p][r]);