ia64_set_itv      134 arch/ia64/kernel/irq.c 	ia64_set_itv(1 << 16);
ia64_set_itv      117 arch/ia64/kernel/machine_kexec.c 	ia64_set_itv(1 << 16);
ia64_set_itv     1033 arch/ia64/kernel/setup.c 	ia64_set_itv(1 << 16);
ia64_set_itv      225 arch/ia64/kernel/time.c 	ia64_set_itv(IA64_TIMER_VECTOR);