__ipi_send_single 1204 include/linux/irq.h int __ipi_send_single(struct irq_desc *desc, unsigned int cpu); __ipi_send_single 316 kernel/irq/ipi.c return __ipi_send_single(desc, cpu);