Searched refs:xen_send_IPI_all (Results 1 – 3 of 3) sorted by relevance
10 extern void xen_send_IPI_all(int vector);
176 .send_IPI_all = xen_send_IPI_all,
230 void xen_send_IPI_all(int vector) in xen_send_IPI_all() function