Searched refs:chosen_cpu (Results 1 – 2 of 2) sorted by relevance
1365 chosen_cpu = int(cpu_num_string)1366 if chosen_cpu < 0 or chosen_cpu >= kern.globals.real_ncpus:1368 if chosen_cpu not in chosen_cpus:1369 chosen_cpus.append(chosen_cpu)
422 int chosen_cpu = pset_id_to_cpu_id(chosen_pset); variable423 cpu_set_thread_current(chosen_cpu, thread);