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);