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

/xen/xen/common/sched/
A D	cpupool.c	601 int work_cpu; in cpupool_unassign_cpu() local 625 work_cpu = sched_get_resource_cpu(smp_processor_id()); in cpupool_unassign_cpu() 626 if ( work_cpu == master_cpu ) in cpupool_unassign_cpu() 628 work_cpu = cpumask_first(cpupool0->cpu_valid); in cpupool_unassign_cpu() 629 if ( work_cpu == master_cpu ) in cpupool_unassign_cpu() 630 work_cpu = cpumask_last(cpupool0->cpu_valid); in cpupool_unassign_cpu() 632 return continue_hypercall_on_cpu(work_cpu, cpupool_unassign_cpu_helper, c); in cpupool_unassign_cpu()

Completed in 6 milliseconds

Last Index update Fri Aug 22 08:59:00 CST 2025