Searched refs:default_send_IPI_all (Results 1 – 4 of 4) sorted by relevance
139 .send_IPI_all = default_send_IPI_all,230 .send_IPI_all = default_send_IPI_all,
62 void default_send_IPI_all(int vector);
95 .send_IPI_all = default_send_IPI_all,
235 void default_send_IPI_all(int vector) in default_send_IPI_all() function