IA64_IPI_LOCAL_TLB_FLUSH  427 arch/ia64/kernel/irq_ia64.c #	define IS_LOCAL_TLB_FLUSH(vec)	(vec == IA64_IPI_LOCAL_TLB_FLUSH)
IA64_IPI_LOCAL_TLB_FLUSH  629 arch/ia64/kernel/irq_ia64.c 	register_percpu_irq(IA64_IPI_LOCAL_TLB_FLUSH, &tlb_irqaction);
IA64_IPI_LOCAL_TLB_FLUSH  236 arch/ia64/kernel/smp.c 	ia64_send_ipi(cpu, IA64_IPI_LOCAL_TLB_FLUSH, IA64_IPI_DM_INT, 0);