Symbol: __ipi_send_single
arch/arm64/kernel/smp.c
920
__ipi_send_single(get_ipi_desc(cpu, nr), cpu);
arch/arm64/kernel/smp.c
950
__ipi_send_single(get_ipi_desc(cpu, IPI_KGDB_ROUNDUP), cpu);
include/linux/irq.h
1268
int __ipi_send_single(struct irq_desc *desc, unsigned int cpu);
kernel/irq/ipi.c
322
return __ipi_send_single(desc, cpu);