HelenOS sources

dtr_mapping_insert   79 kernel/arch/ia64/include/arch/mm/tlb.h extern void dtr_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry, size_t tr);
dtr_mapping_insert  387 kernel/arch/ia64/src/mm/tlb.c 		dtr_mapping_insert(page, ASID_KERNEL, entry, tr);