Subversion Repositories HelenOS

Rev

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 
/** @}