HelenOS sources

itc_mapping_insert   76 kernel/arch/ia64/include/arch/mm/tlb.h extern void itc_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry);
itc_mapping_insert  459 kernel/arch/ia64/src/mm/tlb.c 	itc_mapping_insert(t->page, t->as->asid, entry);
itc_mapping_insert   72 kernel/test/mm/purge1.c 		itc_mapping_insert(0 + i * (1 << PAGE_WIDTH), 8, entryi);