Rev 977 | Rev 1087 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 977 | Rev 980 | ||
---|---|---|---|
Line 94... | Line 94... | ||
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(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<<FRAME_WIDTH) |
99 | #define PTE_GET_FRAME_ARCH(pte) ((pte)->pfn<<12) |
100 | 100 | ||
101 | #ifndef __ASM__ |
101 | #ifndef __ASM__ |
102 | 102 | ||
103 | #include <arch/mm/tlb.h> |
103 | #include <arch/mm/tlb.h> |
104 | #include <mm/page.h> |
104 | #include <mm/page.h> |