HelenOS sources

INTERRUPT_TIMER    66 kernel/arch/ia64/src/drivers/it.c 		it_irq.inr = INTERRUPT_TIMER;
INTERRUPT_TIMER    85 kernel/arch/ia64/src/drivers/it.c 	itv.vector = INTERRUPT_TIMER;
INTERRUPT_TIMER   265 kernel/arch/ia64/src/interrupt.c 	case INTERRUPT_TIMER: