IA64_CMCP_VECTOR 1484 arch/ia64/kernel/mca.c 		ia64_send_ipi(cpuid, IA64_CMCP_VECTOR, IA64_IPI_DM_INT, 0);
IA64_CMCP_VECTOR 1517 arch/ia64/kernel/mca.c 	ia64_send_ipi(cpumask_first(cpu_online_mask), IA64_CMCP_VECTOR,
IA64_CMCP_VECTOR 2060 arch/ia64/kernel/mca.c 	register_percpu_irq(IA64_CMCP_VECTOR, &cmcp_irqaction);