Searched refs:IA64_TIMER_VECTOR (Results 1 – 3 of 3) sorted by relevance
253 ia64_send_ipi(cpu, IA64_TIMER_VECTOR, IA64_IPI_DM_INT, 0); in check_sal_cache_flush()255 while (!ia64_get_irr(IA64_TIMER_VECTOR)) in check_sal_cache_flush()263 if (ia64_get_irr(IA64_TIMER_VECTOR)) { in check_sal_cache_flush()266 WARN_ON(vector != IA64_TIMER_VECTOR); in check_sal_cache_flush()
233 ia64_set_itv(IA64_TIMER_VECTOR); in ia64_cpu_local_tick()399 register_percpu_irq(IA64_TIMER_VECTOR, timer_interrupt, IRQF_IRQPOLL, in time_init()
72 #define IA64_TIMER_VECTOR 0xef /* use highest-prio group 15 interrupt for timer */ macro