HelenOS sources

page_mapping_remove   62 kernel/generic/include/mm/page.h extern void page_mapping_remove(as_t *, uintptr_t);
page_mapping_remove 1024 kernel/generic/src/mm/as.c 				page_mapping_remove(as, ptr + P2SZ(i));
page_mapping_remove 1134 kernel/generic/src/mm/as.c 			page_mapping_remove(as, ptr + P2SZ(size));
page_mapping_remove 1434 kernel/generic/src/mm/as.c 			page_mapping_remove(as, ptr + P2SZ(size));
page_mapping_remove   74 kernel/generic/src/mm/km.c 		page_mapping_remove(AS_KERNEL, deferred_page[i]);
page_mapping_remove  172 kernel/generic/src/mm/km.c 		page_mapping_remove(AS_KERNEL, vaddr + offs);