HelenOS sources

page_not_present   95 kernel/arch/ia64/include/arch/mm/tlb.h extern void page_not_present(unsigned int, istate_t *);
page_not_present  334 kernel/arch/ia64/src/interrupt.c 	    page_not_present);
HelenOS homepage, sources at GitHub