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