HelenOS sources

page_fault         56 kernel/arch/abs32le/src/mm/page.c void page_fault(unsigned int n __attribute__((unused)), istate_t *istate)
page_fault         76 kernel/arch/amd64/src/mm/page.c void page_fault(unsigned int n, istate_t *istate)
page_fault         82 kernel/arch/ia32/src/mm/page.c void page_fault(unsigned int n __attribute__((unused)), istate_t *istate)
page_fault         77 kernel/arch/riscv64/src/mm/page.c void page_fault(unsigned int n __attribute__((unused)), istate_t *istate)