17bb01fb2SAntonio Nino Diaz /* 2883d1b5dSAntonio Nino Diaz * Copyright (c) 2017-2018, ARM Limited and Contributors. All rights reserved. 37bb01fb2SAntonio Nino Diaz * 482cb2c1aSdp-arm * SPDX-License-Identifier: BSD-3-Clause 57bb01fb2SAntonio Nino Diaz */ 67bb01fb2SAntonio Nino Diaz 7e7b9886cSAntonio Nino Diaz #ifndef XLAT_TABLES_DEFS_H 8e7b9886cSAntonio Nino Diaz #define XLAT_TABLES_DEFS_H 97bb01fb2SAntonio Nino Diaz 1004880e3fSIsla Mitchell #include <arch.h> 1109d40e0eSAntonio Nino Diaz #include <lib/utils_def.h> 1209d40e0eSAntonio Nino Diaz #include <lib/xlat_tables/xlat_mmu_helpers.h> 137bb01fb2SAntonio Nino Diaz 147bb01fb2SAntonio Nino Diaz /* Miscellaneous MMU related constants */ 15030567e6SVarun Wadekar #define NUM_2MB_IN_GB (U(1) << 9) 16030567e6SVarun Wadekar #define NUM_4K_IN_2MB (U(1) << 9) 17030567e6SVarun Wadekar #define NUM_GB_IN_4GB (U(1) << 2) 187bb01fb2SAntonio Nino Diaz 19030567e6SVarun Wadekar #define TWO_MB_SHIFT U(21) 20030567e6SVarun Wadekar #define ONE_GB_SHIFT U(30) 21030567e6SVarun Wadekar #define FOUR_KB_SHIFT U(12) 227bb01fb2SAntonio Nino Diaz 237bb01fb2SAntonio Nino Diaz #define ONE_GB_INDEX(x) ((x) >> ONE_GB_SHIFT) 247bb01fb2SAntonio Nino Diaz #define TWO_MB_INDEX(x) ((x) >> TWO_MB_SHIFT) 257bb01fb2SAntonio Nino Diaz #define FOUR_KB_INDEX(x) ((x) >> FOUR_KB_SHIFT) 267bb01fb2SAntonio Nino Diaz 27e7b9886cSAntonio Nino Diaz #define PAGE_SIZE_4KB U(4096) 28e7b9886cSAntonio Nino Diaz #define PAGE_SIZE_16KB U(16384) 29e7b9886cSAntonio Nino Diaz #define PAGE_SIZE_64KB U(65536) 30e7b9886cSAntonio Nino Diaz 31030567e6SVarun Wadekar #define INVALID_DESC U(0x0) 321be910bbSSandrine Bailleux /* 331be910bbSSandrine Bailleux * A block descriptor points to a region of memory bigger than the granule size 341be910bbSSandrine Bailleux * (e.g. a 2MB region when the granule size is 4KB). 351be910bbSSandrine Bailleux */ 36030567e6SVarun Wadekar #define BLOCK_DESC U(0x1) /* Table levels 0-2 */ 371be910bbSSandrine Bailleux /* A table descriptor points to the next level of translation table. */ 38030567e6SVarun Wadekar #define TABLE_DESC U(0x3) /* Table levels 0-2 */ 391be910bbSSandrine Bailleux /* 401be910bbSSandrine Bailleux * A page descriptor points to a page, i.e. a memory region whose size is the 411be910bbSSandrine Bailleux * translation granule size (e.g. 4KB). 421be910bbSSandrine Bailleux */ 43030567e6SVarun Wadekar #define PAGE_DESC U(0x3) /* Table level 3 */ 441be910bbSSandrine Bailleux 45030567e6SVarun Wadekar #define DESC_MASK U(0x3) 467bb01fb2SAntonio Nino Diaz 477bb01fb2SAntonio Nino Diaz #define FIRST_LEVEL_DESC_N ONE_GB_SHIFT 487bb01fb2SAntonio Nino Diaz #define SECOND_LEVEL_DESC_N TWO_MB_SHIFT 497bb01fb2SAntonio Nino Diaz #define THIRD_LEVEL_DESC_N FOUR_KB_SHIFT 507bb01fb2SAntonio Nino Diaz 51a5640252SAntonio Nino Diaz /* XN: Translation regimes that support one VA range (EL2 and EL3). */ 527bb01fb2SAntonio Nino Diaz #define XN (ULL(1) << 2) 53a5640252SAntonio Nino Diaz /* UXN, PXN: Translation regimes that support two VA ranges (EL1&0). */ 54a5640252SAntonio Nino Diaz #define UXN (ULL(1) << 2) 557bb01fb2SAntonio Nino Diaz #define PXN (ULL(1) << 1) 567bb01fb2SAntonio Nino Diaz #define CONT_HINT (ULL(1) << 0) 577bb01fb2SAntonio Nino Diaz #define UPPER_ATTRS(x) (((x) & ULL(0x7)) << 52) 587bb01fb2SAntonio Nino Diaz 59030567e6SVarun Wadekar #define NON_GLOBAL (U(1) << 9) 60030567e6SVarun Wadekar #define ACCESS_FLAG (U(1) << 8) 61030567e6SVarun Wadekar #define NSH (U(0x0) << 6) 62030567e6SVarun Wadekar #define OSH (U(0x2) << 6) 63030567e6SVarun Wadekar #define ISH (U(0x3) << 6) 647bb01fb2SAntonio Nino Diaz 657bb01fb2SAntonio Nino Diaz #define TABLE_ADDR_MASK ULL(0x0000FFFFFFFFF000) 667bb01fb2SAntonio Nino Diaz 67de3d704dSSandrine Bailleux /* 68de3d704dSSandrine Bailleux * The ARMv8-A architecture allows translation granule sizes of 4KB, 16KB or 691dd6c051SAntonio Nino Diaz * 64KB. However, only 4KB are supported at the moment. 70de3d704dSSandrine Bailleux */ 71de3d704dSSandrine Bailleux #define PAGE_SIZE_SHIFT FOUR_KB_SHIFT 72030567e6SVarun Wadekar #define PAGE_SIZE (U(1) << PAGE_SIZE_SHIFT) 73e7b9886cSAntonio Nino Diaz #define PAGE_SIZE_MASK (PAGE_SIZE - U(1)) 74e7b9886cSAntonio Nino Diaz #define IS_PAGE_ALIGNED(addr) (((addr) & PAGE_SIZE_MASK) == U(0)) 757bb01fb2SAntonio Nino Diaz 76*c9fe6fedSEtienne Carriere #if (ARM_ARCH_MAJOR == 7) && !ARMV7_SUPPORTS_LARGE_PAGE_ADDRESSING 77*c9fe6fedSEtienne Carriere #define XLAT_ENTRY_SIZE_SHIFT U(2) /* Each MMU table entry is 4 bytes */ 78*c9fe6fedSEtienne Carriere #else 79*c9fe6fedSEtienne Carriere #define XLAT_ENTRY_SIZE_SHIFT U(3) /* Each MMU table entry is 8 bytes */ 80*c9fe6fedSEtienne Carriere #endif 81030567e6SVarun Wadekar #define XLAT_ENTRY_SIZE (U(1) << XLAT_ENTRY_SIZE_SHIFT) 827bb01fb2SAntonio Nino Diaz 837bb01fb2SAntonio Nino Diaz #define XLAT_TABLE_SIZE_SHIFT PAGE_SIZE_SHIFT /* Size of one complete table */ 84030567e6SVarun Wadekar #define XLAT_TABLE_SIZE (U(1) << XLAT_TABLE_SIZE_SHIFT) 857bb01fb2SAntonio Nino Diaz 86030567e6SVarun Wadekar #define XLAT_TABLE_LEVEL_MAX U(3) 877bb01fb2SAntonio Nino Diaz 887bb01fb2SAntonio Nino Diaz /* Values for number of entries in each MMU translation table */ 897bb01fb2SAntonio Nino Diaz #define XLAT_TABLE_ENTRIES_SHIFT (XLAT_TABLE_SIZE_SHIFT - XLAT_ENTRY_SIZE_SHIFT) 90030567e6SVarun Wadekar #define XLAT_TABLE_ENTRIES (U(1) << XLAT_TABLE_ENTRIES_SHIFT) 91e7b9886cSAntonio Nino Diaz #define XLAT_TABLE_ENTRIES_MASK (XLAT_TABLE_ENTRIES - U(1)) 927bb01fb2SAntonio Nino Diaz 937bb01fb2SAntonio Nino Diaz /* Values to convert a memory address to an index into a translation table */ 947bb01fb2SAntonio Nino Diaz #define L3_XLAT_ADDRESS_SHIFT PAGE_SIZE_SHIFT 957bb01fb2SAntonio Nino Diaz #define L2_XLAT_ADDRESS_SHIFT (L3_XLAT_ADDRESS_SHIFT + XLAT_TABLE_ENTRIES_SHIFT) 967bb01fb2SAntonio Nino Diaz #define L1_XLAT_ADDRESS_SHIFT (L2_XLAT_ADDRESS_SHIFT + XLAT_TABLE_ENTRIES_SHIFT) 977bb01fb2SAntonio Nino Diaz #define L0_XLAT_ADDRESS_SHIFT (L1_XLAT_ADDRESS_SHIFT + XLAT_TABLE_ENTRIES_SHIFT) 987bb01fb2SAntonio Nino Diaz #define XLAT_ADDR_SHIFT(level) (PAGE_SIZE_SHIFT + \ 997bb01fb2SAntonio Nino Diaz ((XLAT_TABLE_LEVEL_MAX - (level)) * XLAT_TABLE_ENTRIES_SHIFT)) 1007bb01fb2SAntonio Nino Diaz 101e7b9886cSAntonio Nino Diaz #define XLAT_BLOCK_SIZE(level) (UL(1) << XLAT_ADDR_SHIFT(level)) 1027bb01fb2SAntonio Nino Diaz /* Mask to get the bits used to index inside a block of a certain level */ 103e7b9886cSAntonio Nino Diaz #define XLAT_BLOCK_MASK(level) (XLAT_BLOCK_SIZE(level) - UL(1)) 1047bb01fb2SAntonio Nino Diaz /* Mask to get the address bits common to a block of a certain table level*/ 1057bb01fb2SAntonio Nino Diaz #define XLAT_ADDR_MASK(level) (~XLAT_BLOCK_MASK(level)) 1061be910bbSSandrine Bailleux /* 1071be910bbSSandrine Bailleux * Extract from the given virtual address the index into the given lookup level. 1081be910bbSSandrine Bailleux * This macro assumes the system is using the 4KB translation granule. 1091be910bbSSandrine Bailleux */ 1101be910bbSSandrine Bailleux #define XLAT_TABLE_IDX(virtual_addr, level) \ 1111be910bbSSandrine Bailleux (((virtual_addr) >> XLAT_ADDR_SHIFT(level)) & ULL(0x1FF)) 1127bb01fb2SAntonio Nino Diaz 1137bb01fb2SAntonio Nino Diaz /* 1141be910bbSSandrine Bailleux * The ARMv8 translation table descriptor format defines AP[2:1] as the Access 1151be910bbSSandrine Bailleux * Permissions bits, and does not define an AP[0] bit. 1161be910bbSSandrine Bailleux * 1171be910bbSSandrine Bailleux * AP[1] is valid only for a stage 1 translation that supports two VA ranges 11801c0a38eSAntonio Nino Diaz * (i.e. in the ARMv8A.0 architecture, that is the S-EL1&0 regime). It is RES1 11901c0a38eSAntonio Nino Diaz * when stage 1 translations can only support one VA range. 1207bb01fb2SAntonio Nino Diaz */ 121609c9191SAntonio Nino Diaz #define AP2_SHIFT U(0x7) 122e7b9886cSAntonio Nino Diaz #define AP2_RO ULL(0x1) 123e7b9886cSAntonio Nino Diaz #define AP2_RW ULL(0x0) 1247bb01fb2SAntonio Nino Diaz 125609c9191SAntonio Nino Diaz #define AP1_SHIFT U(0x6) 126e7b9886cSAntonio Nino Diaz #define AP1_ACCESS_UNPRIVILEGED ULL(0x1) 127e7b9886cSAntonio Nino Diaz #define AP1_NO_ACCESS_UNPRIVILEGED ULL(0x0) 128e7b9886cSAntonio Nino Diaz #define AP1_RES1 ULL(0x1) 129609c9191SAntonio Nino Diaz 130609c9191SAntonio Nino Diaz /* 131609c9191SAntonio Nino Diaz * The following definitions must all be passed to the LOWER_ATTRS() macro to 132609c9191SAntonio Nino Diaz * get the right bitmask. 133609c9191SAntonio Nino Diaz */ 134609c9191SAntonio Nino Diaz #define AP_RO (AP2_RO << 5) 135609c9191SAntonio Nino Diaz #define AP_RW (AP2_RW << 5) 136609c9191SAntonio Nino Diaz #define AP_ACCESS_UNPRIVILEGED (AP1_ACCESS_UNPRIVILEGED << 4) 137609c9191SAntonio Nino Diaz #define AP_NO_ACCESS_UNPRIVILEGED (AP1_NO_ACCESS_UNPRIVILEGED << 4) 13801c0a38eSAntonio Nino Diaz #define AP_ONE_VA_RANGE_RES1 (AP1_RES1 << 4) 139030567e6SVarun Wadekar #define NS (U(0x1) << 3) 140e7b9886cSAntonio Nino Diaz #define ATTR_NON_CACHEABLE_INDEX ULL(0x2) 141e7b9886cSAntonio Nino Diaz #define ATTR_DEVICE_INDEX ULL(0x1) 142e7b9886cSAntonio Nino Diaz #define ATTR_IWBWA_OWBWA_NTR_INDEX ULL(0x0) 143030567e6SVarun Wadekar #define LOWER_ATTRS(x) (((x) & U(0xfff)) << 2) 14404880e3fSIsla Mitchell 1457bb01fb2SAntonio Nino Diaz /* Normal Memory, Outer Write-Through non-transient, Inner Non-cacheable */ 14604880e3fSIsla Mitchell #define ATTR_NON_CACHEABLE MAKE_MAIR_NORMAL_MEMORY(MAIR_NORM_NC, MAIR_NORM_NC) 1477bb01fb2SAntonio Nino Diaz /* Device-nGnRE */ 14804880e3fSIsla Mitchell #define ATTR_DEVICE MAIR_DEV_nGnRE 1497bb01fb2SAntonio Nino Diaz /* Normal Memory, Outer Write-Back non-transient, Inner Write-Back non-transient */ 15004880e3fSIsla Mitchell #define ATTR_IWBWA_OWBWA_NTR MAKE_MAIR_NORMAL_MEMORY(MAIR_NORM_WB_NTR_RWA, MAIR_NORM_WB_NTR_RWA) 1517bb01fb2SAntonio Nino Diaz #define MAIR_ATTR_SET(attr, index) ((attr) << ((index) << 3)) 152030567e6SVarun Wadekar #define ATTR_INDEX_MASK U(0x3) 1537bb01fb2SAntonio Nino Diaz #define ATTR_INDEX_GET(attr) (((attr) >> 2) & ATTR_INDEX_MASK) 1547bb01fb2SAntonio Nino Diaz 1557bb01fb2SAntonio Nino Diaz /* 1561be910bbSSandrine Bailleux * Shift values for the attributes fields in a block or page descriptor. 1571be910bbSSandrine Bailleux * See section D4.3.3 in the ARMv8-A ARM (issue B.a). 1581be910bbSSandrine Bailleux */ 1591be910bbSSandrine Bailleux 1601be910bbSSandrine Bailleux /* Memory attributes index field, AttrIndx[2:0]. */ 1611be910bbSSandrine Bailleux #define ATTR_INDEX_SHIFT 2 1621be910bbSSandrine Bailleux /* Non-secure bit, NS. */ 1631be910bbSSandrine Bailleux #define NS_SHIFT 5 1641be910bbSSandrine Bailleux /* Shareability field, SH[1:0] */ 1651be910bbSSandrine Bailleux #define SHAREABILITY_SHIFT 8 1661be910bbSSandrine Bailleux /* The Access Flag, AF. */ 1671be910bbSSandrine Bailleux #define ACCESS_FLAG_SHIFT 10 1681be910bbSSandrine Bailleux /* The not global bit, nG. */ 1691be910bbSSandrine Bailleux #define NOT_GLOBAL_SHIFT 11 1701be910bbSSandrine Bailleux /* Contiguous hint bit. */ 1711be910bbSSandrine Bailleux #define CONT_HINT_SHIFT 52 1721be910bbSSandrine Bailleux /* Execute-never bits, XN. */ 1731be910bbSSandrine Bailleux #define PXN_SHIFT 53 1741be910bbSSandrine Bailleux #define XN_SHIFT 54 1751be910bbSSandrine Bailleux #define UXN_SHIFT XN_SHIFT 1761be910bbSSandrine Bailleux 177c3cf06f1SAntonio Nino Diaz #endif /* XLAT_TABLES_DEFS_H */ 178