Searched refs:default_send_IPI_self (Results 1 – 3 of 3) sorted by relevance
54 .send_IPI_self = default_send_IPI_self,
62 void default_send_IPI_self(int vector);
59 .send_IPI_self = default_send_IPI_self,