Rev 1087 | Rev 1702 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1087 | Rev 1423 | ||
---|---|---|---|
Line 95... | Line 95... | ||
95 | #define SET_FRAME_FLAGS_ARCH(ptl3, i, x) set_pt_flags((pte_t *)(ptl3), (index_t)(i), (x)) |
95 | #define SET_FRAME_FLAGS_ARCH(ptl3, i, x) set_pt_flags((pte_t *)(ptl3), (index_t)(i), (x)) |
96 | 96 | ||
97 | #define PTE_VALID_ARCH(pte) (*((__u32 *) (pte)) != 0) |
97 | #define PTE_VALID_ARCH(pte) (*((__u32 *) (pte)) != 0) |
98 | #define PTE_PRESENT_ARCH(pte) ((pte)->p != 0) |
98 | #define PTE_PRESENT_ARCH(pte) ((pte)->p != 0) |
99 | #define PTE_GET_FRAME_ARCH(pte) ((pte)->pfn<<12) |
99 | #define PTE_GET_FRAME_ARCH(pte) ((pte)->pfn<<12) |
- | 100 | #define PTE_WRITABLE_ARCH(pte) ((pte)->w != 0) |
|
- | 101 | #define PTE_EXECUTABLE_ARCH(pte) 1 |
|
100 | 102 | ||
101 | #ifndef __ASM__ |
103 | #ifndef __ASM__ |
102 | 104 | ||
103 | #include <arch/mm/tlb.h> |
105 | #include <arch/mm/tlb.h> |
104 | #include <mm/page.h> |
106 | #include <mm/page.h> |