Symbol: select_target_cpu
drivers/xen/events/events_base.c
1842
return select_target_cpu(cpu_online_mask);
drivers/xen/events/events_base.c
1850
unsigned int tcpu = select_target_cpu(dest);