IA64_IPI_VECTOR   627 arch/ia64/kernel/irq_ia64.c 	register_percpu_irq(IA64_IPI_VECTOR, &ipi_irqaction);
IA64_IPI_VECTOR   148 arch/ia64/kernel/smp.c 	ia64_send_ipi(dest_cpu, IA64_IPI_VECTOR, IA64_IPI_DM_INT, 0);