| /branches/arm/boot/arch/arm32/loader/mm.h |
|---|
| 76,10 → 76,10 |
| /** Page table level 0 entry - "section" format (one-level paging, 1MB sized |
| * pages). Used only for booting the kernel. */ |
| typedef struct { |
| unsigned descriptor_type : 2; // PTE_DESCRIPTOR_SECTION |
| unsigned descriptor_type : 2; // PTE_DESCRIPTOR_SECTION (0b10) |
| unsigned bufferable : 1; |
| unsigned cacheable : 1; |
| unsigned machine_depend : 1; |
| unsigned impl_specific : 1; |
| unsigned domain : 4; |
| unsigned should_be_zero_1 : 1; |
| unsigned access_permission : 2; |