HelenOS sources

page_find_mapping   69 kernel/generic/include/mm/page.h extern errno_t page_find_mapping(uintptr_t, uintptr_t *);
page_find_mapping  428 kernel/generic/src/ddi/ddi.c 	return page_find_mapping(virt, phys);
page_find_mapping  220 kernel/generic/src/mm/page.c 	errno_t rc = page_find_mapping(virt, &phys);