Searched refs:gic_send_ipi_single (Results 1 – 5 of 5) sorted by relevance
21 void gic_send_ipi_single(int cpu, unsigned int action) in gic_send_ipi_single() function65 gic_send_ipi_single(i, action); in gic_send_ipi_mask()
152 .send_ipi_single = gic_send_ipi_single,
124 gic_send_ipi_single(cpu, action); in vsmp_send_ipi_single()
472 .send_ipi_single = gic_send_ipi_single,
47 extern void gic_send_ipi_single(int cpu, unsigned int action);