HelenOS sources

km_page_alloc      48 kernel/generic/include/mm/km.h extern uintptr_t km_page_alloc(size_t, size_t);
km_page_alloc     146 kernel/generic/src/mm/km.c 	vaddr = km_page_alloc(size, max(PAGE_SIZE, align));