Symbol: xive_ipi_cpu_to_irq
arch/powerpc/sysdev/xive/common.c
1199
unsigned int xive_ipi_irq = xive_ipi_cpu_to_irq(cpu);
arch/powerpc/sysdev/xive/common.c
1245
unsigned int xive_ipi_irq = xive_ipi_cpu_to_irq(cpu);