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