HelenOS sources

instruction_access_bit_fault   92 kernel/arch/ia64/include/arch/mm/tlb.h extern void instruction_access_bit_fault(unsigned int, istate_t *);
instruction_access_bit_fault  324 kernel/arch/ia64/src/interrupt.c 	    instruction_access_bit_fault);