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