Searched refs:IA64_TIMER_VECTOR (Results 1 – 3 of 3) sorted by relevance
258 platform_send_ipi(cpu, IA64_TIMER_VECTOR, IA64_IPI_DM_INT, 0); in check_sal_cache_flush()260 while (!ia64_get_irr(IA64_TIMER_VECTOR)) in check_sal_cache_flush()268 if (ia64_get_irr(IA64_TIMER_VECTOR)) { in check_sal_cache_flush()271 WARN_ON(vector != IA64_TIMER_VECTOR); in check_sal_cache_flush()
227 ia64_set_itv(IA64_TIMER_VECTOR); in ia64_cpu_local_tick()400 register_percpu_irq(IA64_TIMER_VECTOR, &timer_irqaction); in time_init()
74 #define IA64_TIMER_VECTOR 0xef /* use highest-prio group 15 interrupt for timer */ macro
