Searched refs:xen_send_IPI_one (Results 1 – 4 of 4) sorted by relevance
144 xen_send_IPI_one(cpu, XEN_RESCHEDULE_VECTOR); in xen_smp_send_reschedule()153 xen_send_IPI_one(cpu, vector); in __xen_send_IPI_mask()231 xen_send_IPI_one(smp_processor_id(), xen_vector); in xen_send_IPI_self()248 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()
76 void xen_send_IPI_one(unsigned int cpu, enum ipi_vector vector);
1634 void xen_send_IPI_one(unsigned int cpu, enum ipi_vector vector) in xen_send_IPI_one() function