Searched refs:vsmp_send_ipi_single (Results 1 – 1 of 1) sorted by relevance
116 static void vsmp_send_ipi_single(int cpu, unsigned int action) in vsmp_send_ipi_single() function156 vsmp_send_ipi_single(i, action); in vsmp_send_ipi_mask()283 .send_ipi_single = vsmp_send_ipi_single,