Searched refs:xen_send_IPI_one (Results 1 – 4 of 4) sorted by relevance
30 xen_send_IPI_one(cpu, XEN_SPIN_UNLOCK_VECTOR); in xen_qlock_kick()262 xen_send_IPI_one(cpu, XEN_SPIN_UNLOCK_VECTOR); in xen_unlock_kick()
588 xen_send_IPI_one(cpu, XEN_RESCHEDULE_VECTOR); in xen_smp_send_reschedule()597 xen_send_IPI_one(cpu, vector); in __xen_send_IPI_mask()675 xen_send_IPI_one(smp_processor_id(), xen_vector); in xen_send_IPI_self()692 xen_send_IPI_one(cpu, xen_vector); in xen_send_IPI_mask_allbutself()
59 void xen_send_IPI_one(unsigned int cpu, enum ipi_vector vector);
1208 void xen_send_IPI_one(unsigned int cpu, enum ipi_vector vector) in xen_send_IPI_one() function