Rev 2239 | Rev 2254 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2239 | Rev 2241 | ||
|---|---|---|---|
| Line 74... | Line 74... | ||
| 74 | #ifndef __ASM__ |
74 | #ifndef __ASM__ |
| 75 | 75 | ||
| 76 | /** Page table level 0 entry - "section" format (one-level paging, 1MB sized |
76 | /** Page table level 0 entry - "section" format (one-level paging, 1MB sized |
| 77 | * pages). Used only for booting the kernel. */ |
77 | * pages). Used only for booting the kernel. */ |
| 78 | typedef struct { |
78 | typedef struct { |
| 79 | unsigned descriptor_type : 2; // PTE_DESCRIPTOR_SECTION |
79 | unsigned descriptor_type : 2; // PTE_DESCRIPTOR_SECTION (0b10) |
| 80 | unsigned bufferable : 1; |
80 | unsigned bufferable : 1; |
| 81 | unsigned cacheable : 1; |
81 | unsigned cacheable : 1; |
| 82 | unsigned machine_depend : 1; |
82 | unsigned impl_specific : 1; |
| 83 | unsigned domain : 4; |
83 | unsigned domain : 4; |
| 84 | unsigned should_be_zero_1 : 1; |
84 | unsigned should_be_zero_1 : 1; |
| 85 | unsigned access_permission : 2; |
85 | unsigned access_permission : 2; |
| 86 | unsigned should_be_zero_2 : 8; |
86 | unsigned should_be_zero_2 : 8; |
| 87 | unsigned section_base_addr : 12; |
87 | unsigned section_base_addr : 12; |