ipi_get_hwirq
irq_hw_number_t ipi_get_hwirq(unsigned int irq, unsigned int cpu);
EXPORT_SYMBOL_GPL(ipi_get_hwirq);