Changes in kernel/generic/include/mm/km.h [1b478f6:f7f47a7] in mainline

File:

• kernel/generic/include/mm/km.h (modified) (2 diffs)

kernel/generic/include/mm/km.h

@@ -37 +37 @@
 
 #include <typedefs.h>
+#include <mm/frame.h>
 
 extern void km_identity_init(void);
@@ -48 +49 @@
 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