Searched refs:default_send_IPI_allbutself (Results 1 – 4 of 4) sorted by relevance
52 .send_IPI_allbutself = default_send_IPI_allbutself,
60 void default_send_IPI_allbutself(int vector);
57 .send_IPI_allbutself = default_send_IPI_allbutself,
235 void default_send_IPI_allbutself(int vector) in default_send_IPI_allbutself() function