HelenOS sources

AS_PF_FAULT       738 kernel/arch/ia64/src/mm/tlb.c 		if (as_page_fault(va, PF_ACCESS_READ, istate) == AS_PF_FAULT) {
AS_PF_FAULT      1515 kernel/generic/src/mm/as.c 	int rc = AS_PF_FAULT;
AS_PF_FAULT       194 kernel/generic/src/mm/backend_anon.c 		return AS_PF_FAULT;
AS_PF_FAULT       277 kernel/generic/src/mm/backend_elf.c 		return AS_PF_FAULT;
AS_PF_FAULT       280 kernel/generic/src/mm/backend_elf.c 		return AS_PF_FAULT;
AS_PF_FAULT       283 kernel/generic/src/mm/backend_elf.c 		return AS_PF_FAULT;
AS_PF_FAULT       143 kernel/generic/src/mm/backend_phys.c 		return AS_PF_FAULT;
AS_PF_FAULT       117 kernel/generic/src/mm/backend_user.c 		return AS_PF_FAULT;
AS_PF_FAULT       136 kernel/generic/src/mm/backend_user.c 		return AS_PF_FAULT;
AS_PF_FAULT       140 kernel/generic/src/mm/backend_user.c 		return AS_PF_FAULT;