HelenOS sources

as_page_fault      92 kernel/arch/amd64/src/mm/page.c 	(void) as_page_fault(badvaddr, access, istate);
as_page_fault     245 kernel/arch/arm32/src/mm/page_fault.c 	as_page_fault(badvaddr, access, istate);
as_page_fault     256 kernel/arch/arm32/src/mm/page_fault.c 	as_page_fault(istate->pc, PF_ACCESS_EXEC, istate);
as_page_fault      95 kernel/arch/arm64/src/exception.c 			as_page_fault(far_el1, access, istate);
as_page_fault     168 kernel/arch/arm64/src/exception.c 			as_page_fault(far_el1, access, istate);
as_page_fault      97 kernel/arch/ia32/src/mm/page.c 	(void) as_page_fault(badvaddr, access, istate);
as_page_fault     506 kernel/arch/ia64/src/mm/tlb.c 		as_page_fault(va, PF_ACCESS_EXEC, istate);
as_page_fault     622 kernel/arch/ia64/src/mm/tlb.c 		as_page_fault(va, PF_ACCESS_READ, istate);
as_page_fault     670 kernel/arch/ia64/src/mm/tlb.c 		as_page_fault(va, PF_ACCESS_WRITE, istate);
as_page_fault     703 kernel/arch/ia64/src/mm/tlb.c 		as_page_fault(va, PF_ACCESS_EXEC, istate);
as_page_fault     738 kernel/arch/ia64/src/mm/tlb.c 		if (as_page_fault(va, PF_ACCESS_READ, istate) == AS_PF_FAULT) {
as_page_fault     770 kernel/arch/ia64/src/mm/tlb.c 	as_page_fault(va, PF_ACCESS_WRITE, istate);
as_page_fault     802 kernel/arch/ia64/src/mm/tlb.c 		as_page_fault(va, PF_ACCESS_READ, istate);
as_page_fault     130 kernel/arch/mips32/src/mm/tlb.c 	(void) as_page_fault(badvaddr, PF_ACCESS_READ, istate);
as_page_fault     194 kernel/arch/mips32/src/mm/tlb.c 	(void) as_page_fault(badvaddr, PF_ACCESS_READ, istate);
as_page_fault     259 kernel/arch/mips32/src/mm/tlb.c 	(void) as_page_fault(badvaddr, PF_ACCESS_WRITE, istate);
as_page_fault      75 kernel/arch/ppc32/src/mm/pht.c 	if (as_page_fault(badvaddr, access, istate) == AS_PF_OK) {
as_page_fault     221 kernel/arch/sparc64/src/mm/sun4u/tlb.c 		as_page_fault(istate->tpc, PF_ACCESS_EXEC, istate);
as_page_fault     278 kernel/arch/sparc64/src/mm/sun4u/tlb.c 		as_page_fault(page_16k, PF_ACCESS_READ, istate);
as_page_fault     326 kernel/arch/sparc64/src/mm/sun4u/tlb.c 		as_page_fault(page_16k, PF_ACCESS_WRITE, istate);
as_page_fault     235 kernel/arch/sparc64/src/mm/sun4v/tlb.c 		as_page_fault(va, PF_ACCESS_EXEC, istate);
as_page_fault     285 kernel/arch/sparc64/src/mm/sun4v/tlb.c 		as_page_fault(va, PF_ACCESS_READ, istate);
as_page_fault     326 kernel/arch/sparc64/src/mm/sun4v/tlb.c 		as_page_fault(va, PF_ACCESS_WRITE, istate);
as_page_fault     318 kernel/generic/include/mm/as.h extern int as_page_fault(uintptr_t, pf_access_t, istate_t *);