Searched refs:default_send_IPI_all (Results 1 – 3 of 3) sorted by relevance
156 extern void default_send_IPI_all(int vector);
130 void default_send_IPI_all(int vector) in default_send_IPI_all() function
132 .send_IPI_all = default_send_IPI_all,