Searched refs:xen_send_IPI_self (Results 1 – 3 of 3) sorted by relevance
15 extern void xen_send_IPI_self(int vector);
149 .send_IPI_self = xen_send_IPI_self,
226 void xen_send_IPI_self(int vector) in xen_send_IPI_self() function