Changes in kernel/genarch/src/mm/page_pt.c [b169619:6404aca] 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 <memw.h>
+#include <mem.h>
 #include <align.h>
 #include <macros.h>
@@ -58 +58 @@
 static void pt_mapping_make_global(uintptr_t, size_t);
 
-const page_mapping_operations_t pt_mapping_operations = {
+page_mapping_operations_t pt_mapping_operations = {
         .mapping_insert = pt_mapping_insert,
         .mapping_remove = pt_mapping_remove,