Searched refs:default_send_IPI_self (Results 1 – 7 of 7) sorted by relevance
157 extern void default_send_IPI_self(int vector);
135 void default_send_IPI_self(int vector) in default_send_IPI_self() function
133 .send_IPI_self = default_send_IPI_self,
239 .send_IPI_self = default_send_IPI_self,
666 .send_IPI_self = default_send_IPI_self,732 .send_IPI_self = default_send_IPI_self,
519 .send_IPI_self = default_send_IPI_self,
537 .send_IPI_self = default_send_IPI_self,