Rev 2243 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2243 | Rev 2256 | ||
---|---|---|---|
Line 66... | Line 66... | ||
66 | typedef uint32_t context_id_t; |
66 | typedef uint32_t context_id_t; |
67 | 67 | ||
68 | typedef int32_t inr_t; |
68 | typedef int32_t inr_t; |
69 | typedef int32_t devno_t; |
69 | typedef int32_t devno_t; |
70 | 70 | ||
71 | typedef uint32_t __address; |
- | |
72 | - | ||
73 | 71 | ||
74 | /** Page table entry. |
72 | /** Page table entry. |
75 | * |
73 | * |
76 | * We have different structs for level 0 and level 1 page table entries. |
74 | * We have different structs for level 0 and level 1 page table entries. |
77 | * */ |
75 | * */ |
Line 111... | Line 109... | ||
111 | 109 | ||
112 | 110 | ||
113 | /* Level 1 page tables access permissions */ |
111 | /* Level 1 page tables access permissions */ |
114 | 112 | ||
115 | /** User mode: no access, privileged mode: no access */ |
113 | /** User mode: no access, privileged mode: no access */ |
116 | #define pte_ap_user_no_kernel_no 0 |
114 | #define PTE_AP_USER_NO_KERNEL_NO 0 |
117 | /** User mode: no access, privileged mode: read/write */ |
115 | /** User mode: no access, privileged mode: read/write */ |
118 | #define pte_ap_user_no_kernel_rw 1 |
116 | #define PTE_AP_USER_NO_KERNEL_RW 1 |
119 | /** User mode: read only, privileged mode: read/write */ |
117 | /** User mode: read only, privileged mode: read/write */ |
120 | #define pte_ap_user_ro_kernel_rw 2 |
118 | #define PTE_AP_USER_RO_KERNEL_RW 2 |
121 | /// User mode: read/write, privileged mode: read/write |
119 | /// User mode: read/write, privileged mode: read/write |
122 | #define pte_ap_user_rw_kernel_rw 3 |
120 | #define PTE_AP_USER_RW_KERNEL_RW 3 |
123 | 121 | ||
124 | 122 | ||
125 | /* pte_level0_t and pte_level1_t descriptor_type flags */ |
123 | /* pte_level0_t and pte_level1_t descriptor_type flags */ |
126 | 124 | ||
127 | /** pte_level0_t and pte_level1_t "not present" flag (used in descriptor_type) */ |
125 | /** pte_level0_t and pte_level1_t "not present" flag (used in descriptor_type) */ |
128 | #define pte_descriptor_not_preset 0 |
126 | #define PTE_DESCRIPTOR_NOT_PRESENT 0 |
129 | /** pte_level0_t coarse page table flag (used in descriptor_type) */ |
127 | /** pte_level0_t coarse page table flag (used in descriptor_type) */ |
130 | #define pte_descriptor_coarse_table 1 |
128 | #define PTE_DESCRIPTOR_COARSE_TABLE 1 |
131 | /** pte_level1_t small page table flag (used in descriptor type) */ |
129 | /** pte_level1_t small page table flag (used in descriptor type) */ |
132 | #define pte_descriptor_small_page 2 |
130 | #define PTE_DESCRIPTOR_SMALL_PAGE 2 |
133 | 131 | ||
134 | 132 | ||
135 | #endif |
133 | #endif |
136 | 134 | ||
137 | /** @} |
135 | /** @} |