HelenOS sources
km_temporary_page_put 57 kernel/generic/include/mm/km.h extern void km_temporary_page_put(uintptr_t);
km_temporary_page_put 212 kernel/generic/src/mm/backend_anon.c km_temporary_page_put(kpage);
km_temporary_page_put 251 kernel/generic/src/mm/backend_anon.c km_temporary_page_put(kpage);
km_temporary_page_put 332 kernel/generic/src/mm/backend_elf.c km_temporary_page_put(kpage);
km_temporary_page_put 356 kernel/generic/src/mm/backend_elf.c km_temporary_page_put(kpage);
km_temporary_page_put 387 kernel/generic/src/mm/backend_elf.c km_temporary_page_put(kpage);
HelenOS homepage, sources at GitHub