xen_send_IPI_one  153 arch/x86/xen/smp.c 	xen_send_IPI_one(cpu, XEN_RESCHEDULE_VECTOR);
xen_send_IPI_one  162 arch/x86/xen/smp.c 		xen_send_IPI_one(cpu, vector);
xen_send_IPI_one  240 arch/x86/xen/smp.c 		xen_send_IPI_one(smp_processor_id(), xen_vector);
xen_send_IPI_one  257 arch/x86/xen/smp.c 		xen_send_IPI_one(cpu, xen_vector);
xen_send_IPI_one   31 arch/x86/xen/spinlock.c 	xen_send_IPI_one(cpu, XEN_SPIN_UNLOCK_VECTOR);
xen_send_IPI_one   61 include/xen/events.h void xen_send_IPI_one(unsigned int cpu, enum ipi_vector vector);