xen_smp_cpus_done   18 arch/x86/xen/smp.h void xen_smp_cpus_done(unsigned int max_cpus);
xen_smp_cpus_done   75 arch/x86/xen/smp_hvm.c 	smp_ops.smp_cpus_done = xen_smp_cpus_done;
xen_smp_cpus_done  494 arch/x86/xen/smp_pv.c 	.smp_cpus_done = xen_smp_cpus_done,