1 // SPDX-License-Identifier: BSD-2-Clause-Patent
2 // Copyright 2022 Google LLC
3 // Author: Ard Biesheuvel <ardb@google.com>
5 .set TT_TYPE_BLOCK, 0x1
7 .set TT_TYPE_TABLE, 0x3
14 .set TT_MT_DEV, 0x0 << 2 // MAIR #0
15 .set TT_MT_MEM, (0x3 << 2) | (0x3 << 8) // MAIR #3
17 .set PAGE_XIP, TT_TYPE_PAGE | TT_MT_MEM | TT_AF | TT_RO | TT_NG
18 .set BLOCK_XIP, TT_TYPE_BLOCK | TT_MT_MEM | TT_AF | TT_RO | TT_NG
19 .set BLOCK_DEV, TT_TYPE_BLOCK | TT_MT_DEV | TT_AF | TT_XN | TT_NG
20 .set BLOCK_MEM, TT_TYPE_BLOCK | TT_MT_MEM | TT_AF | TT_XN | TT_NG
23 .section ".rodata.idmap", "a", %progbits
27 .quad 1f + TT_TYPE_TABLE
31 .quad 20f + TT_TYPE_TABLE // 1 GB of flash and device mappings
32 .quad 21f + TT_TYPE_TABLE // up to 1 GB of DRAM
33 .fill 510, 8, 0x0 // 510 GB of remaining VA space
36 .quad 3f + TT_TYPE_TABLE // up to 2 MB of flash
37 .quad BLOCK_XIP | (0x1 << 21) // another 2 MB of flash
38 .fill 62, 8, 0x0 // 124 MB of unused flash
41 .quad BLOCK_DEV | (idx << 21) // 896 MB of RW- device mappings
46 .set idx, 0x40000000 >> 21
48 .quad BLOCK_MEM | (idx << 21) // 128 MB of RW- memory mappings
54 .quad 0x0 // omit first 4k page
57 .quad PAGE_XIP | (idx << 12) // 2044 KiB of R-X flash mappings