diff options
Diffstat (limited to 'kernel.c')
-rw-r--r-- | kernel.c | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -96,7 +96,7 @@ void kernel_main(uint32_t r0, uint32_t r1, uint32_t atags) .SECTION_OR_SUPERSECTION_BIT = DESCRIBES_SECTION, .ACCESS_PERMISSIONS_2 = AP_2_0_MODEL_RW_PL1 >> 2, .ACCESS_PERMISSIONS_1_0 = AP_2_0_MODEL_RW_PL1 & 0b011, - .DESCRIPTOR_TYPE_2 = + .DESCRIPTOR_TYPE_1 = SHORT_DESCRIPTOR_SECTION_OR_SUPERSECTION >> 1, // rest of fields are 0s }; @@ -162,7 +162,7 @@ void kernel_main(uint32_t r0, uint32_t r1, uint32_t atags) // Now do stuff with TTBR0 TTBR_t TTBR0; TTBR0.raw = 0; - TTBR0.fields.TRANSLATION_TABLE_BASE_ADDRESS = + TTBR0.fields.TTBR_TRANSLATION_TABLE_BASE_ADDRESS = translation_table_base >> 14; // rest of TTBR0 remains 0s |