Searched refs:default_send_IPI_single (Results 1 – 4 of 4) sorted by relevance
56 void default_send_IPI_single(int cpu, int vector);
93 .send_IPI = default_send_IPI_single,
137 .send_IPI = default_send_IPI_single,
224 void default_send_IPI_single(int cpu, int vector) in default_send_IPI_single() function
