Searched refs:xen_send_IPI_one (Results 1 – 4 of 4) sorted by relevance
561 xen_send_IPI_one(cpu, XEN_RESCHEDULE_VECTOR); in xen_smp_send_reschedule()570 xen_send_IPI_one(cpu, vector); in __xen_send_IPI_mask()648 xen_send_IPI_one(smp_processor_id(), xen_vector); in xen_send_IPI_self()665 xen_send_IPI_one(cpu, xen_vector); in xen_send_IPI_mask_allbutself()
215 xen_send_IPI_one(cpu, XEN_SPIN_UNLOCK_VECTOR); in xen_unlock_kick()
59 void xen_send_IPI_one(unsigned int cpu, enum ipi_vector vector);
1207 void xen_send_IPI_one(unsigned int cpu, enum ipi_vector vector) in xen_send_IPI_one() function