Symbol: xen_send_IPI_one
arch/x86/xen/smp.c
141
xen_send_IPI_one(cpu, XEN_RESCHEDULE_VECTOR);
arch/x86/xen/smp.c
150
xen_send_IPI_one(cpu, vector);
arch/x86/xen/smp.c
228
xen_send_IPI_one(smp_processor_id(), xen_vector);
arch/x86/xen/smp.c
245
xen_send_IPI_one(cpu, xen_vector);
arch/x86/xen/spinlock.c
29
xen_send_IPI_one(cpu, XEN_SPIN_UNLOCK_VECTOR);
include/xen/events.h
76
void xen_send_IPI_one(unsigned int cpu, enum ipi_vector vector);