HelenOS sources

km_page_free       49 kernel/generic/include/mm/km.h extern void km_page_free(uintptr_t, size_t);
km_page_free       75 kernel/generic/src/mm/km.c 		km_page_free(deferred_page[i], PAGE_SIZE);
km_page_free      180 kernel/generic/src/mm/km.c 	km_page_free(vaddr, size);