Changes in kernel/generic/include/mm/page.h [1b20da0:4b1c7c6f] in mainline

File:

• kernel/generic/include/mm/page.h (modified) (1 diff)

kernel/generic/include/mm/page.h

@@ -49 +49 @@
         void (*mapping_remove)(as_t *, uintptr_t);
         bool (*mapping_find)(as_t *, uintptr_t, bool, pte_t *);
-        void (*mapping_update)(as_t *, uintptr_t, bool, pte_t *);
+        void (*mapping_update)(as_t *, uintptr_t, bool, const pte_t *);
         void (*mapping_make_global)(uintptr_t, size_t);
 } page_mapping_operations_t;