Rev 967 | Rev 1423 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 967 | Rev 977 | ||
---|---|---|---|
Line 78... | Line 78... | ||
78 | #define SET_PTL2_FLAGS_ARCH(ptl1, i, x) |
78 | #define SET_PTL2_FLAGS_ARCH(ptl1, i, x) |
79 | #define SET_PTL3_FLAGS_ARCH(ptl2, i, x) |
79 | #define SET_PTL3_FLAGS_ARCH(ptl2, i, x) |
80 | #define SET_FRAME_FLAGS_ARCH(ptl3, i, x) set_pt_flags((pte_t *)(ptl3), (index_t)(i), (x)) |
80 | #define SET_FRAME_FLAGS_ARCH(ptl3, i, x) set_pt_flags((pte_t *)(ptl3), (index_t)(i), (x)) |
81 | 81 | ||
82 | #define PTE_VALID_ARCH(p) (*((__u32 *) (p)) != 0) |
82 | #define PTE_VALID_ARCH(p) (*((__u32 *) (p)) != 0) |
- | 83 | #define PTE_PRESENT_ARCH(p) ((p)->present != 0) |
|
- | 84 | #define PTE_GET_FRAME_ARCH(p) ((p)->frame_address<<FRAME_WIDTH) |
|
83 | 85 | ||
84 | #ifndef __ASM__ |
86 | #ifndef __ASM__ |
85 | 87 | ||
86 | #include <mm/page.h> |
88 | #include <mm/page.h> |
87 | #include <arch/types.h> |
89 | #include <arch/types.h> |