HelenOS sources

ht_mapping_find_internal  253 kernel/genarch/src/mm/page_ht.c 	pte_t *t = ht_mapping_find_internal(as, page, nolock);
ht_mapping_find_internal  273 kernel/genarch/src/mm/page_ht.c 	pte_t *t = ht_mapping_find_internal(as, page, nolock);