HelenOS sources

dtc_mapping_insert   75 kernel/arch/ia64/include/arch/mm/tlb.h extern void dtc_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry);
dtc_mapping_insert  389 kernel/arch/ia64/src/mm/tlb.c 		dtc_mapping_insert(page, ASID_KERNEL, entry);
dtc_mapping_insert  430 kernel/arch/ia64/src/mm/tlb.c 	dtc_mapping_insert(t->page, t->as->asid, entry);
dtc_mapping_insert  557 kernel/arch/ia64/src/mm/tlb.c 				dtc_mapping_insert(page, TASK->as->asid, entry);
dtc_mapping_insert   73 kernel/test/mm/purge1.c 		dtc_mapping_insert(0 + i * (1 << PAGE_WIDTH), 9, entryd);