Searched refs:xen_send_IPI_one (Results 1 – 4 of 4) sorted by relevance
141 xen_send_IPI_one(cpu, XEN_RESCHEDULE_VECTOR); in xen_smp_send_reschedule()150 xen_send_IPI_one(cpu, vector); in __xen_send_IPI_mask()228 xen_send_IPI_one(smp_processor_id(), xen_vector); in xen_send_IPI_self()245 xen_send_IPI_one(cpu, xen_vector); in xen_send_IPI_mask_allbutself()
30 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);
1622 void xen_send_IPI_one(unsigned int cpu, enum ipi_vector vector) in xen_send_IPI_one() function