Rev 1398 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1398 | 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) ((__address) ((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> |