HelenOS sources

vhpt_mapping_insert   53 kernel/arch/ia64/include/arch/mm/vhpt.h void vhpt_mapping_insert(uintptr_t va, asid_t asid, tlb_entry_t entry);
vhpt_mapping_insert  433 kernel/arch/ia64/src/mm/tlb.c 	vhpt_mapping_insert(t->page, t->as->asid, entry);
vhpt_mapping_insert  462 kernel/arch/ia64/src/mm/tlb.c 	vhpt_mapping_insert(t->page, t->as->asid, entry);