Searched refs:default_send_IPI_self (Results 1 – 4 of 4) sorted by relevance
105 extern void default_send_IPI_self(int vector);
181 .send_IPI_self = default_send_IPI_self,
212 void default_send_IPI_self(int vector) in default_send_IPI_self() function
135 .send_IPI_self = default_send_IPI_self,
