HelenOS sources

pt_mapping_find_internal  342 kernel/genarch/src/mm/page_pt.c 	pte_t *t = pt_mapping_find_internal(as, page, nolock);
pt_mapping_find_internal  357 kernel/genarch/src/mm/page_pt.c 	pte_t *t = pt_mapping_find_internal(as, page, nolock);