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