HelenOS sources

VECTOR_PF          72 kernel/arch/amd64/src/mm/page.c 	exc_register(VECTOR_PF, "page_fault", true, (iroutine_t) page_fault);
VECTOR_PF          76 kernel/arch/ia32/src/mm/page.c 	exc_register(VECTOR_PF, "page_fault", true, (iroutine_t) page_fault);