HelenOS sources

INT_TIMER         135 kernel/arch/mips32/src/interrupt.c 	int_handler[INT_TIMER] = timer_interrupt_handler;
INT_TIMER         138 kernel/arch/mips32/src/interrupt.c 	cp0_unmask_int(INT_TIMER);