HelenOS sources

page_mapping_update  668 kernel/arch/ia64/src/mm/tlb.c 		page_mapping_update(as, va, true, &t);
page_mapping_update  701 kernel/arch/ia64/src/mm/tlb.c 		page_mapping_update(AS, va, true, &t);
page_mapping_update  736 kernel/arch/ia64/src/mm/tlb.c 		page_mapping_update(as, va, true, &t);
page_mapping_update  113 kernel/arch/mips32/src/mm/tlb.c 		page_mapping_update(AS, badvaddr, true, &pte);
page_mapping_update  181 kernel/arch/mips32/src/mm/tlb.c 		page_mapping_update(AS, badvaddr, true, &pte);
page_mapping_update  246 kernel/arch/mips32/src/mm/tlb.c 		page_mapping_update(AS, badvaddr, true, &pte);
page_mapping_update  215 kernel/arch/sparc64/src/mm/sun4u/tlb.c 		page_mapping_update(AS, istate->tpc, true, &t);
page_mapping_update  272 kernel/arch/sparc64/src/mm/sun4u/tlb.c 		page_mapping_update(as, page_16k, true, &t);
page_mapping_update  320 kernel/arch/sparc64/src/mm/sun4u/tlb.c 		page_mapping_update(as, page_16k, true, &t);
page_mapping_update  229 kernel/arch/sparc64/src/mm/sun4v/tlb.c 		page_mapping_update(AS, va, true, &t);
page_mapping_update  279 kernel/arch/sparc64/src/mm/sun4v/tlb.c 		page_mapping_update(as, va, true, &t);
page_mapping_update  320 kernel/arch/sparc64/src/mm/sun4v/tlb.c 		page_mapping_update(as, va, true, &t);
page_mapping_update   64 kernel/generic/include/mm/page.h extern void page_mapping_update(as_t *, uintptr_t, bool, pte_t *);