Changeset 94d211e in mainline for kernel/generic/include/mm/page.h

Timestamp:

2018-03-21T19:32:48Z (7 years ago)

Author:

Jiří Zárevúcky <zarevucky.jiri@…>

Children:

1c7a170

Parents:

973be387

Message:

Change the way page flags work. TODO description

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;