HelenOS sources

dtlb_kernel_mapping_insert   82 kernel/arch/ia64/include/arch/mm/tlb.h extern void dtlb_kernel_mapping_insert(uintptr_t page, uintptr_t frame, bool dtr, size_t tr);
dtlb_kernel_mapping_insert  597 kernel/arch/ia64/src/mm/tlb.c 			dtlb_kernel_mapping_insert(va, KA2PA(va), false, 0);
dtlb_kernel_mapping_insert   70 kernel/arch/ia64/src/proc/scheduler.c 		dtlb_kernel_mapping_insert((uintptr_t) THREAD->kstack,
dtlb_kernel_mapping_insert   72 kernel/arch/ia64/src/proc/scheduler.c 		dtlb_kernel_mapping_insert((uintptr_t) THREAD->kstack +