| 68,9 → 68,7 |
|---|
| typedef int32_t inr_t; |
| typedef int32_t devno_t; |
| |
| typedef uint32_t __address; |
| |
| |
| /** Page table entry. |
| * |
| * We have different structs for level 0 and level 1 page table entries. |
| 113,23 → 111,23 |
|---|
| /* Level 1 page tables access permissions */ |
| |
| /** User mode: no access, privileged mode: no access */ |
| #define pte_ap_user_no_kernel_no 0 |
| #define PTE_AP_USER_NO_KERNEL_NO 0 |
| /** User mode: no access, privileged mode: read/write */ |
| #define pte_ap_user_no_kernel_rw 1 |
| #define PTE_AP_USER_NO_KERNEL_RW 1 |
| /** User mode: read only, privileged mode: read/write */ |
| #define pte_ap_user_ro_kernel_rw 2 |
| #define PTE_AP_USER_RO_KERNEL_RW 2 |
| /// User mode: read/write, privileged mode: read/write |
| #define pte_ap_user_rw_kernel_rw 3 |
| #define PTE_AP_USER_RW_KERNEL_RW 3 |
| |
| |
| /* pte_level0_t and pte_level1_t descriptor_type flags */ |
| |
| /** pte_level0_t and pte_level1_t "not present" flag (used in descriptor_type) */ |
| #define pte_descriptor_not_preset 0 |
| #define PTE_DESCRIPTOR_NOT_PRESENT 0 |
| /** pte_level0_t coarse page table flag (used in descriptor_type) */ |
| #define pte_descriptor_coarse_table 1 |
| #define PTE_DESCRIPTOR_COARSE_TABLE 1 |
| /** pte_level1_t small page table flag (used in descriptor type) */ |
| #define pte_descriptor_small_page 2 |
| #define PTE_DESCRIPTOR_SMALL_PAGE 2 |
| |
| |
| #endif |