HelenOS sources

alternate_instruction_tlb_fault   88 kernel/arch/ia64/include/arch/mm/tlb.h extern void alternate_instruction_tlb_fault(unsigned int, istate_t *);
alternate_instruction_tlb_fault  312 kernel/arch/ia64/src/interrupt.c 	    alternate_instruction_tlb_fault);