HelenOS sources

tc_mapping_insert   74 kernel/arch/ia64/include/arch/mm/tlb.h extern void tc_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry, bool dtc);
tc_mapping_insert  200 kernel/arch/ia64/src/mm/tlb.c 	tc_mapping_insert(va, asid, entry, true);
tc_mapping_insert  212 kernel/arch/ia64/src/mm/tlb.c 	tc_mapping_insert(va, asid, entry, false);