Home
last modified time | relevance | path

Searched refs:work_cpu (Results 1 – 1 of 1) sorted by relevance

/xen/xen/common/sched/
A Dcpupool.c549 int work_cpu; in cpupool_unassign_cpu() local
568 work_cpu = sched_get_resource_cpu(smp_processor_id()); in cpupool_unassign_cpu()
569 if ( work_cpu == master_cpu ) in cpupool_unassign_cpu()
571 work_cpu = cpumask_first(cpupool0->cpu_valid); in cpupool_unassign_cpu()
572 if ( work_cpu == master_cpu ) in cpupool_unassign_cpu()
573 work_cpu = cpumask_last(cpupool0->cpu_valid); in cpupool_unassign_cpu()
575 return continue_hypercall_on_cpu(work_cpu, cpupool_unassign_cpu_helper, c); in cpupool_unassign_cpu()

Completed in 3 milliseconds