Changes in kernel/genarch/src/mm/as_pt.c [84176f3:b169619] in mainline

File:

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

kernel/genarch/src/mm/as_pt.c

@@ -44 +44 @@
 #include <arch/mm/as.h>
 #include <typedefs.h>
-#include <mem.h>
+#include <memw.h>
 #include <arch.h>
 
@@ -54 +54 @@
 static bool pt_locked(as_t *);
 
-as_operations_t as_pt_operations = {
+const as_operations_t as_pt_operations = {
         .page_table_create = ptl0_create,
         .page_table_destroy = ptl0_destroy,