Searched refs:ipi_send_single (Results 1 – 1 of 1) sorted by relevance
20 void (*ipi_send_single)(int irq, int cpu); member31 .ipi_send_single = gicv2_ipi_send_single,40 .ipi_send_single = gicv3_ipi_send_single,303 assert(gic_common_ops && gic_common_ops->ipi_send_single); in gic_ipi_send_single()304 gic_common_ops->ipi_send_single(irq, cpu); in gic_ipi_send_single()