ipi_get_hwirq    1203 include/linux/irq.h irq_hw_number_t ipi_get_hwirq(unsigned int irq, unsigned int cpu);
ipi_get_hwirq     184 kernel/irq/ipi.c EXPORT_SYMBOL_GPL(ipi_get_hwirq);