Index: kernel/generic/include/mm/km.h
===================================================================
--- kernel/generic/include/mm/km.h	(revision 1a313f7fa09dd35459728c286fcc4680d92077e9)
+++ kernel/generic/include/mm/km.h	(revision a538808957cc8603bdd3812d6782a196efebe826)
@@ -37,4 +37,5 @@
 
 #include <typedefs.h>
+#include <mm/frame.h>
 
 extern void km_identity_init(void);
@@ -48,4 +49,7 @@
 extern bool km_is_non_identity(uintptr_t);
 
+extern uintptr_t km_temporary_page_get(uintptr_t *, frame_flags_t);
+extern void km_temporary_page_put(uintptr_t);
+
 #endif