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