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; |