Changes in kernel/generic/include/mm/km.h [f7f47a7:1b478f6] 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);
@@ -49 +48 @@
 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