Rev 2071 | Rev 2467 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2071 | Rev 2089 | ||
---|---|---|---|
Line 93... | Line 93... | ||
93 | #define PTE_WRITABLE_ARCH(p) ((p)->writeable != 0) |
93 | #define PTE_WRITABLE_ARCH(p) ((p)->writeable != 0) |
94 | #define PTE_EXECUTABLE_ARCH(p) 1 |
94 | #define PTE_EXECUTABLE_ARCH(p) 1 |
95 | 95 | ||
96 | #ifndef __ASM__ |
96 | #ifndef __ASM__ |
97 | 97 | ||
98 | #include <mm/page.h> |
98 | #include <mm/mm.h> |
99 | #include <arch/types.h> |
- | |
100 | #include <arch/mm/frame.h> |
99 | #include <arch/interrupt.h> |
101 | #include <typedefs.h> |
- | |
102 | 100 | ||
103 | /* Page fault error codes. */ |
101 | /* Page fault error codes. */ |
104 | 102 | ||
105 | /** When bit on this position is 0, the page fault was caused by a not-present page. */ |
103 | /** When bit on this position is 0, the page fault was caused by a not-present page. */ |
106 | #define PFERR_CODE_P (1<<0) |
104 | #define PFERR_CODE_P (1 << 0) |
Line 112... | Line 110... | ||
112 | #define PFERR_CODE_US (1<<2) |
110 | #define PFERR_CODE_US (1 << 2) |
113 | 111 | ||
114 | /** When bit on this position is 1, a reserved bit was set in page directory. */ |
112 | /** When bit on this position is 1, a reserved bit was set in page directory. */ |
115 | #define PFERR_CODE_RSVD (1<<3) |
113 | #define PFERR_CODE_RSVD (1 << 3) |
116 | 114 | ||
117 | /** Page Table Entry. */ |
- | |
118 | struct page_specifier { |
- | |
119 | unsigned present : 1; |
- | |
120 | unsigned writeable : 1; |
- | |
121 | unsigned uaccessible : 1; |
- | |
122 | unsigned page_write_through : 1; |
- | |
123 | unsigned page_cache_disable : 1; |
- | |
124 | unsigned accessed : 1; |
- | |
125 | unsigned dirty : 1; |
- | |
126 | unsigned pat : 1; |
- | |
127 | unsigned global : 1; |
- | |
128 | unsigned soft_valid : 1; /**< Valid content even if the present bit is not set. */ |
- | |
129 | unsigned avl : 2; |
- | |
130 | unsigned frame_address : 20; |
- | |
131 | } __attribute__ ((packed)); |
- | |
132 | - | ||
133 | static inline int get_pt_flags(pte_t *pt, index_t i) |
115 | static inline int get_pt_flags(pte_t *pt, index_t i) |
134 | { |
116 | { |
135 | pte_t *p = &pt[i]; |
117 | pte_t *p = &pt[i]; |
136 | 118 | ||
137 | return ( |
119 | return ( |