is_kernel_fault 592 kernel/arch/ia64/src/mm/tlb.c if (is_kernel_fault(istate, va)) { is_kernel_fault 653 kernel/arch/ia64/src/mm/tlb.c if (is_kernel_fault(istate, va)) is_kernel_fault 721 kernel/arch/ia64/src/mm/tlb.c if (is_kernel_fault(istate, va))HelenOS homepage, sources at GitHub