Searched refs:IA64_TIMER_VECTOR (Results 1 – 3 of 3) sorted by relevance
252 ia64_send_ipi(cpu, IA64_TIMER_VECTOR, IA64_IPI_DM_INT, 0); in check_sal_cache_flush()254 while (!ia64_get_irr(IA64_TIMER_VECTOR)) in check_sal_cache_flush()262 if (ia64_get_irr(IA64_TIMER_VECTOR)) { in check_sal_cache_flush()265 WARN_ON(vector != IA64_TIMER_VECTOR); in check_sal_cache_flush()
225 ia64_set_itv(IA64_TIMER_VECTOR); in ia64_cpu_local_tick()398 register_percpu_irq(IA64_TIMER_VECTOR, &timer_irqaction); in time_init()
73 #define IA64_TIMER_VECTOR 0xef /* use highest-prio group 15 interrupt for timer */ macro