data_nested_tlb_fault 90 kernel/arch/ia64/include/arch/mm/tlb.h extern void data_nested_tlb_fault(unsigned int, istate_t *); data_nested_tlb_fault 318 kernel/arch/ia64/src/interrupt.c data_nested_tlb_fault);