ipi_send_single
.ipi_send_single = gicv5_ipi_send_single,
.ipi_send_single = mips_mt_send_ipi,
.ipi_send_single = gic_send_ipi,
int ipi_send_single(unsigned int virq, unsigned int cpu);
void (*ipi_send_single)(struct irq_data *data, unsigned int cpu);
if (!chip->ipi_send_single && !chip->ipi_send_mask)
if (!chip->ipi_send_single) {
chip->ipi_send_single(data, cpu);
chip->ipi_send_single(data, cpu);
chip->ipi_send_single(data, cpu);
EXPORT_SYMBOL_GPL(ipi_send_single);