Searched refs:work_cpu (Results 1 – 1 of 1) sorted by relevance
364 int work_cpu; in cpupool_unassign_cpu() local407 work_cpu = smp_processor_id(); in cpupool_unassign_cpu()408 if ( work_cpu == cpu ) in cpupool_unassign_cpu()410 work_cpu = cpumask_first(cpupool0->cpu_valid); in cpupool_unassign_cpu()411 if ( work_cpu == cpu ) in cpupool_unassign_cpu()412 work_cpu = cpumask_next(cpu, cpupool0->cpu_valid); in cpupool_unassign_cpu()414 return continue_hypercall_on_cpu(work_cpu, cpupool_unassign_cpu_helper, c); in cpupool_unassign_cpu()
Completed in 3 milliseconds