Rev 1374 | Rev 1609 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1374 | Rev 1423 | ||
---|---|---|---|
Line 87... | Line 87... | ||
87 | #define SET_PTL2_FLAGS_ARCH(ptl1, i, x) |
87 | #define SET_PTL2_FLAGS_ARCH(ptl1, i, x) |
88 | #define SET_PTL3_FLAGS_ARCH(ptl2, i, x) |
88 | #define SET_PTL3_FLAGS_ARCH(ptl2, i, x) |
89 | #define SET_FRAME_FLAGS_ARCH(ptl3, i, x) set_pt_flags((pte_t *) (ptl3), (index_t) (i), (x)) |
89 | #define SET_FRAME_FLAGS_ARCH(ptl3, i, x) set_pt_flags((pte_t *) (ptl3), (index_t) (i), (x)) |
90 | 90 | ||
91 | #define PTE_VALID_ARCH(pte) (*((__u32 *) (pte)) != 0) |
91 | #define PTE_VALID_ARCH(pte) (*((__u32 *) (pte)) != 0) |
92 | #define PTE_PRESENT_ARCH(pte) ((pte)->p != 0) |
92 | #define PTE_PRESENT_ARCH(pte) ((pte)->p != 0) |
93 | #define PTE_GET_FRAME_ARCH(pte) ((pte)->pfn << 12) |
93 | #define PTE_GET_FRAME_ARCH(pte) ((pte)->pfn << 12) |
- | 94 | #define PTE_WRITABLE_ARCH(pte) 1 |
|
- | 95 | #define PTE_EXECUTABLE_ARCH(pte) 1 |
|
94 | 96 | ||
95 | #ifndef __ASM__ |
97 | #ifndef __ASM__ |
96 | 98 | ||
97 | #include <mm/page.h> |
99 | #include <mm/page.h> |
98 | #include <arch/mm/frame.h> |
100 | #include <arch/mm/frame.h> |