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