HelenOS sources
page_fault 192 kernel/arch/abs32le/include/arch/mm/page.h extern void page_fault(unsigned int, istate_t *);
page_fault 258 kernel/arch/amd64/include/arch/mm/page.h extern void page_fault(unsigned int, istate_t *);
page_fault 72 kernel/arch/amd64/src/mm/page.c exc_register(VECTOR_PF, "page_fault", true, (iroutine_t) page_fault);
page_fault 230 kernel/arch/ia32/include/arch/mm/page.h extern void page_fault(unsigned int, istate_t *);
page_fault 76 kernel/arch/ia32/src/mm/page.c exc_register(VECTOR_PF, "page_fault", true, (iroutine_t) page_fault);
page_fault 215 kernel/arch/riscv64/include/arch/mm/page.h extern void page_fault(unsigned int, istate_t *);
page_fault 300 kernel/generic/include/mm/as.h int (*page_fault)(as_area_t *, uintptr_t, pf_access_t);
page_fault 1518 kernel/generic/src/mm/as.c goto page_fault;
page_fault 1521 kernel/generic/src/mm/as.c goto page_fault;
page_fault 1531 kernel/generic/src/mm/as.c goto page_fault;
page_fault 1541 kernel/generic/src/mm/as.c goto page_fault;
page_fault 1544 kernel/generic/src/mm/as.c if ((!area->backend) || (!area->backend->page_fault)) {
page_fault 1551 kernel/generic/src/mm/as.c goto page_fault;
page_fault 1576 kernel/generic/src/mm/as.c rc = area->backend->page_fault(area, page, access);
page_fault 1581 kernel/generic/src/mm/as.c goto page_fault;
page_fault 1589 kernel/generic/src/mm/as.c page_fault:
page_fault 76 kernel/generic/src/mm/backend_anon.c .page_fault = anon_page_fault,
page_fault 75 kernel/generic/src/mm/backend_elf.c .page_fault = elf_page_fault,
page_fault 76 kernel/generic/src/mm/backend_phys.c .page_fault = phys_page_fault,
page_fault 72 kernel/generic/src/mm/backend_user.c .page_fault = user_page_fault,
HelenOS homepage, sources at GitHub