| /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; |
| /branches/arm/boot/arch/arm32/loader/mm.c |
|---|
| 47,7 → 47,7 |
| pte->descriptor_type = PTE_DESCRIPTOR_SECTION; |
| pte->bufferable = 0; // disable |
| pte->cacheable = 0; |
| pte->machine_depend = 0; |
| pte->impl_specific = 0; |
| pte->domain = 0; |
| pte->should_be_zero_1 = 0; |
| pte->access_permission = PTE_AP_USER_NO_KERNEL_RW; |