Searched refs:xen_send_IPI_one (Results 1 – 4 of 4) sorted by relevance
156 xen_send_IPI_one(cpu, XEN_RESCHEDULE_VECTOR); in xen_smp_send_reschedule()165 xen_send_IPI_one(cpu, vector); in __xen_send_IPI_mask()243 xen_send_IPI_one(smp_processor_id(), xen_vector); in xen_send_IPI_self()260 xen_send_IPI_one(cpu, xen_vector); in xen_send_IPI_mask_allbutself()
31 xen_send_IPI_one(cpu, XEN_SPIN_UNLOCK_VECTOR); in xen_qlock_kick()
74 void xen_send_IPI_one(unsigned int cpu, enum ipi_vector vector);
1568 void xen_send_IPI_one(unsigned int cpu, enum ipi_vector vector) in xen_send_IPI_one() function