Rev 967 | Rev 1087 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 967 | Rev 977 | ||
---|---|---|---|
Line 92... | Line 92... | ||
92 | #define SET_PTL1_FLAGS_ARCH(ptl0, i, x) set_pt_flags((pte_t *)(ptl0), (index_t)(i), (x)) |
92 | #define SET_PTL1_FLAGS_ARCH(ptl0, i, x) set_pt_flags((pte_t *)(ptl0), (index_t)(i), (x)) |
93 | #define SET_PTL2_FLAGS_ARCH(ptl1, i, x) |
93 | #define SET_PTL2_FLAGS_ARCH(ptl1, i, x) |
94 | #define SET_PTL3_FLAGS_ARCH(ptl2, i, x) |
94 | #define SET_PTL3_FLAGS_ARCH(ptl2, i, x) |
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(p) (*((__u32 *) (p)) != 0) |
97 | #define PTE_VALID_ARCH(pte) (*((__u32 *) (pte)) != 0) |
- | 98 | #define PTE_PRESENT_ARCH(pte) ((pte)->p != 0) |
|
- | 99 | #define PTE_GET_FRAME_ARCH(pte) ((pte)->pfn<<FRAME_WIDTH) |
|
98 | 100 | ||
99 | #ifndef __ASM__ |
101 | #ifndef __ASM__ |
100 | 102 | ||
101 | #include <arch/mm/tlb.h> |
103 | #include <arch/mm/tlb.h> |
102 | #include <mm/page.h> |
104 | #include <mm/page.h> |