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