HelenOS sources

user_page_fault    60 kernel/generic/src/mm/backend_user.c static int user_page_fault(as_area_t *, uintptr_t, pf_access_t);
user_page_fault    72 kernel/generic/src/mm/backend_user.c 	.page_fault = user_page_fault,
HelenOS homepage, sources at GitHub