Changes in kernel/genarch/include/genarch/mm/page_pt.h [61eb2ce2:6404aca] in mainline

File:

• kernel/genarch/include/genarch/mm/page_pt.h (modified) (1 diff)

kernel/genarch/include/genarch/mm/page_pt.h

@@ -140 +140 @@
 #define PTE_EXECUTABLE(p)  PTE_EXECUTABLE_ARCH((p))
 
-extern const as_operations_t as_pt_operations;
-extern const page_mapping_operations_t pt_mapping_operations;
+extern as_operations_t as_pt_operations;
+extern page_mapping_operations_t pt_mapping_operations;
 
 extern void page_mapping_insert_pt(as_t *, uintptr_t, uintptr_t, unsigned int);