Changes in kernel/genarch/src/mm/page_pt.c [6404aca:b169619] in mainline

File:

• kernel/genarch/src/mm/page_pt.c (modified) (2 diffs)

kernel/genarch/src/mm/page_pt.c

@@ -47 +47 @@
 #include <typedefs.h>
 #include <arch/asm.h>
-#include <mem.h>
+#include <memw.h>
 #include <align.h>
 #include <macros.h>
@@ -58 +58 @@
 static void pt_mapping_make_global(uintptr_t, size_t);
 
-page_mapping_operations_t pt_mapping_operations = {
+const page_mapping_operations_t pt_mapping_operations = {
         .mapping_insert = pt_mapping_insert,
         .mapping_remove = pt_mapping_remove,