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

Timestamp:

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

Author:

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

Children:

1c7a170

Parents:

973be387

Message:

Change the way page flags work. TODO description

File:

• kernel/arch/abs32le/include/arch/mm/page.h (modified) (4 diffs)

kernel/arch/abs32le/include/arch/mm/page.h

@@ -92 +92 @@
         get_pt_flags((pte_t *) (ptl0), (size_t) (i))
 #define GET_PTL2_FLAGS_ARCH(ptl1, i) \
-        PAGE_PRESENT
+        PAGE_NEXT_LEVEL_PT
 #define GET_PTL3_FLAGS_ARCH(ptl2, i) \
-        PAGE_PRESENT
+        PAGE_NEXT_LEVEL_PT
 #define GET_FRAME_FLAGS_ARCH(ptl3, i) \
         get_pt_flags((pte_t *) (ptl3), (size_t) (i))
@@ -121 +121 @@
 #define PTE_GET_FRAME_ARCH(p) \
         ((p)->frame_address << FRAME_WIDTH)
+#define PTE_READABLE_ARCH(p) \
+        1
 #define PTE_WRITABLE_ARCH(p) \
         ((p)->writeable != 0)
-#define PTE_EXECUTABLE_ARCH(p)  1
+#define PTE_EXECUTABLE_ARCH(p) \
+        1
 
 #include <mm/mm.h>
@@ -154 +157 @@
         return (
             ((unsigned int) (!p->page_cache_disable) << PAGE_CACHEABLE_SHIFT) |
-            ((unsigned int) (!p->present) << PAGE_PRESENT_SHIFT) |
+            ((unsigned int) (!p->present) << PAGE_NOT_PRESENT_SHIFT) |
             ((unsigned int) p->uaccessible << PAGE_USER_SHIFT) |
             (1 << PAGE_READ_SHIFT) |
@@ -172 +175 @@
         p->present = !(flags & PAGE_NOT_PRESENT);
         p->uaccessible = (flags & PAGE_USER) != 0;
-        p->writeable = (flags & PAGE_WRITE) != 0;
+        p->writeable = (flags & _PAGE_WRITE) != 0;
         p->global = (flags & PAGE_GLOBAL) != 0;