__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);