HelenOS sources

AS_PF_OK           75 kernel/arch/ppc32/src/mm/pht.c 	if (as_page_fault(badvaddr, access, istate) == AS_PF_OK) {
AS_PF_OK         1569 kernel/generic/src/mm/as.c 			return AS_PF_OK;
AS_PF_OK         1577 kernel/generic/src/mm/as.c 	if (rc != AS_PF_OK) {
AS_PF_OK         1587 kernel/generic/src/mm/as.c 	return AS_PF_OK;
AS_PF_OK          264 kernel/generic/src/mm/backend_anon.c 	return AS_PF_OK;
AS_PF_OK          308 kernel/generic/src/mm/backend_elf.c 			return AS_PF_OK;
AS_PF_OK          403 kernel/generic/src/mm/backend_elf.c 	return AS_PF_OK;
AS_PF_OK          152 kernel/generic/src/mm/backend_phys.c 	return AS_PF_OK;
AS_PF_OK          153 kernel/generic/src/mm/backend_user.c 	return AS_PF_OK;