xen_smp_send_reschedule   20 arch/x86/xen/smp.h void xen_smp_send_reschedule(int cpu);
xen_smp_send_reschedule   70 arch/x86/xen/smp_hvm.c 	smp_ops.smp_send_reschedule = xen_smp_send_reschedule;
xen_smp_send_reschedule  502 arch/x86/xen/smp_pv.c 	.smp_send_reschedule = xen_smp_send_reschedule,