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