Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2017, ARM Limited and Contributors. All rights reserved. |
| 3 | * |
dp-arm | 82cb2c1 | 2017-05-03 09:38:09 +0100 | [diff] [blame] | 4 | * SPDX-License-Identifier: BSD-3-Clause |
Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 5 | */ |
| 6 | |
| 7 | #ifndef __XLAT_TABLES_V2_H__ |
| 8 | #define __XLAT_TABLES_V2_H__ |
| 9 | |
| 10 | #include <xlat_tables_defs.h> |
| 11 | |
| 12 | #ifndef __ASSEMBLY__ |
| 13 | #include <stddef.h> |
| 14 | #include <stdint.h> |
| 15 | #include <xlat_mmu_helpers.h> |
Sandrine Bailleux | 55c8496 | 2017-07-10 13:37:48 +0100 | [diff] [blame] | 16 | #include <xlat_tables_v2_helpers.h> |
Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 17 | |
Sandrine Bailleux | fdb1964 | 2017-09-28 21:58:12 +0100 | [diff] [blame^] | 18 | /* |
| 19 | * Default granularity size for an mmap_region_t. |
| 20 | * Useful when no specific granularity is required. |
| 21 | * |
| 22 | * By default, choose the biggest possible block size allowed by the |
| 23 | * architectural state and granule size in order to minimize the number of page |
| 24 | * tables required for the mapping. |
Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 25 | */ |
Sandrine Bailleux | fdb1964 | 2017-09-28 21:58:12 +0100 | [diff] [blame^] | 26 | #define REGION_DEFAULT_GRANULARITY XLAT_BLOCK_SIZE(MIN_LVL_BLOCK_DESC) |
Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 27 | |
Sandrine Bailleux | fdb1964 | 2017-09-28 21:58:12 +0100 | [diff] [blame^] | 28 | /* Helper macro to define an mmap_region_t. */ |
| 29 | #define MAP_REGION(_pa, _va, _sz, _attr) \ |
| 30 | _MAP_REGION_FULL_SPEC(_pa, _va, _sz, _attr, REGION_DEFAULT_GRANULARITY) |
| 31 | |
| 32 | /* Helper macro to define an mmap_region_t with an identity mapping. */ |
| 33 | #define MAP_REGION_FLAT(_adr, _sz, _attr) \ |
| 34 | MAP_REGION(_adr, _adr, _sz, _attr) |
| 35 | |
| 36 | /* |
| 37 | * Helper macro to define an mmap_region_t to map with the desired granularity |
| 38 | * of translation tables. |
| 39 | * |
| 40 | * The granularity value passed to this macro must be a valid block or page |
| 41 | * size. When using a 4KB translation granule, this might be 4KB, 2MB or 1GB. |
| 42 | * Passing REGION_DEFAULT_GRANULARITY is also allowed and means that the library |
| 43 | * is free to choose the granularity for this region. In this case, it is |
| 44 | * equivalent to the MAP_REGION() macro. |
Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 45 | */ |
Sandrine Bailleux | fdb1964 | 2017-09-28 21:58:12 +0100 | [diff] [blame^] | 46 | #define MAP_REGION2(_pa, _va, _sz, _attr, _gr) \ |
| 47 | _MAP_REGION_FULL_SPEC(_pa, _va, _sz, _attr, _gr) |
Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 48 | |
| 49 | /* |
| 50 | * Shifts and masks to access fields of an mmap_attr_t |
| 51 | */ |
Varun Wadekar | 030567e | 2017-05-25 18:04:48 -0700 | [diff] [blame] | 52 | #define MT_TYPE_MASK U(0x7) |
Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 53 | #define MT_TYPE(_attr) ((_attr) & MT_TYPE_MASK) |
| 54 | /* Access permissions (RO/RW) */ |
Varun Wadekar | 030567e | 2017-05-25 18:04:48 -0700 | [diff] [blame] | 55 | #define MT_PERM_SHIFT U(3) |
Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 56 | /* Security state (SECURE/NS) */ |
Varun Wadekar | 030567e | 2017-05-25 18:04:48 -0700 | [diff] [blame] | 57 | #define MT_SEC_SHIFT U(4) |
Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 58 | /* Access permissions for instruction execution (EXECUTE/EXECUTE_NEVER) */ |
Varun Wadekar | 030567e | 2017-05-25 18:04:48 -0700 | [diff] [blame] | 59 | #define MT_EXECUTE_SHIFT U(5) |
Antonio Nino Diaz | 0b64f4e | 2017-02-27 17:23:54 +0000 | [diff] [blame] | 60 | /* All other bits are reserved */ |
Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 61 | |
| 62 | /* |
| 63 | * Memory mapping attributes |
| 64 | */ |
| 65 | typedef enum { |
| 66 | /* |
| 67 | * Memory types supported. |
| 68 | * These are organised so that, going down the list, the memory types |
| 69 | * are getting weaker; conversely going up the list the memory types are |
| 70 | * getting stronger. |
| 71 | */ |
| 72 | MT_DEVICE, |
| 73 | MT_NON_CACHEABLE, |
| 74 | MT_MEMORY, |
| 75 | /* Values up to 7 are reserved to add new memory types in the future */ |
| 76 | |
Varun Wadekar | 030567e | 2017-05-25 18:04:48 -0700 | [diff] [blame] | 77 | MT_RO = U(0) << MT_PERM_SHIFT, |
| 78 | MT_RW = U(1) << MT_PERM_SHIFT, |
Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 79 | |
Varun Wadekar | 030567e | 2017-05-25 18:04:48 -0700 | [diff] [blame] | 80 | MT_SECURE = U(0) << MT_SEC_SHIFT, |
| 81 | MT_NS = U(1) << MT_SEC_SHIFT, |
Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 82 | |
| 83 | /* |
| 84 | * Access permissions for instruction execution are only relevant for |
| 85 | * normal read-only memory, i.e. MT_MEMORY | MT_RO. They are ignored |
| 86 | * (and potentially overridden) otherwise: |
| 87 | * - Device memory is always marked as execute-never. |
| 88 | * - Read-write normal memory is always marked as execute-never. |
| 89 | */ |
Varun Wadekar | 030567e | 2017-05-25 18:04:48 -0700 | [diff] [blame] | 90 | MT_EXECUTE = U(0) << MT_EXECUTE_SHIFT, |
| 91 | MT_EXECUTE_NEVER = U(1) << MT_EXECUTE_SHIFT, |
Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 92 | } mmap_attr_t; |
| 93 | |
| 94 | #define MT_CODE (MT_MEMORY | MT_RO | MT_EXECUTE) |
| 95 | #define MT_RO_DATA (MT_MEMORY | MT_RO | MT_EXECUTE_NEVER) |
| 96 | |
| 97 | /* |
| 98 | * Structure for specifying a single region of memory. |
| 99 | */ |
| 100 | typedef struct mmap_region { |
| 101 | unsigned long long base_pa; |
| 102 | uintptr_t base_va; |
| 103 | size_t size; |
| 104 | mmap_attr_t attr; |
Sandrine Bailleux | fdb1964 | 2017-09-28 21:58:12 +0100 | [diff] [blame^] | 105 | /* Desired granularity. See the MAP_REGION2() macro for more details. */ |
| 106 | size_t granularity; |
Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 107 | } mmap_region_t; |
| 108 | |
Sandrine Bailleux | 55c8496 | 2017-07-10 13:37:48 +0100 | [diff] [blame] | 109 | /* |
| 110 | * Declare the translation context type. |
| 111 | * Its definition is private. |
| 112 | */ |
| 113 | typedef struct xlat_ctx xlat_ctx_t; |
| 114 | |
| 115 | /* |
| 116 | * Statically allocate a translation context and associated structures. Also |
| 117 | * initialize them. |
| 118 | * |
| 119 | * _ctx_name: |
| 120 | * Prefix for the translation context variable. |
| 121 | * E.g. If _ctx_name is 'foo', the variable will be called 'foo_xlat_ctx'. |
| 122 | * Useful to distinguish multiple contexts from one another. |
| 123 | * |
| 124 | * _mmap_count: |
| 125 | * Number of mmap_region_t to allocate. |
| 126 | * Would typically be MAX_MMAP_REGIONS for the translation context describing |
| 127 | * the BL image currently executing. |
| 128 | * |
| 129 | * _xlat_tables_count: |
| 130 | * Number of sub-translation tables to allocate. |
| 131 | * Would typically be MAX_XLAT_TABLES for the translation context describing |
| 132 | * the BL image currently executing. |
| 133 | * Note that this is only for sub-tables ; at the initial lookup level, there |
| 134 | * is always a single table. |
| 135 | * |
| 136 | * _virt_addr_space_size, _phy_addr_space_size: |
| 137 | * Size (in bytes) of the virtual (resp. physical) address space. |
| 138 | * Would typically be PLAT_VIRT_ADDR_SPACE_SIZE |
| 139 | * (resp. PLAT_PHY_ADDR_SPACE_SIZE) for the translation context describing the |
| 140 | * BL image currently executing. |
| 141 | */ |
| 142 | #define REGISTER_XLAT_CONTEXT(_ctx_name, _mmap_count, _xlat_tables_count, \ |
| 143 | _virt_addr_space_size, _phy_addr_space_size) \ |
| 144 | _REGISTER_XLAT_CONTEXT(_ctx_name, _mmap_count, _xlat_tables_count, \ |
| 145 | _virt_addr_space_size, _phy_addr_space_size) |
| 146 | |
Sandrine Bailleux | a9ad848 | 2017-07-18 13:26:36 +0100 | [diff] [blame] | 147 | /****************************************************************************** |
| 148 | * Generic translation table APIs. |
| 149 | * Each API comes in 2 variants: |
| 150 | * - one that acts on the current translation context for this BL image |
| 151 | * - another that acts on the given translation context instead. This variant |
| 152 | * is named after the 1st version, with an additional '_ctx' suffix. |
| 153 | *****************************************************************************/ |
Antonio Nino Diaz | e769db3 | 2017-05-08 16:43:53 +0100 | [diff] [blame] | 154 | |
| 155 | /* |
| 156 | * Initialize translation tables from the current list of mmap regions. Calling |
| 157 | * this function marks the transition point after which static regions can no |
| 158 | * longer be added. |
| 159 | */ |
Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 160 | void init_xlat_tables(void); |
Sandrine Bailleux | a9ad848 | 2017-07-18 13:26:36 +0100 | [diff] [blame] | 161 | void init_xlat_tables_ctx(xlat_ctx_t *ctx); |
Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 162 | |
| 163 | /* |
Antonio Nino Diaz | e769db3 | 2017-05-08 16:43:53 +0100 | [diff] [blame] | 164 | * Add a static region with defined base PA and base VA. This function can only |
| 165 | * be used before initializing the translation tables. The region cannot be |
| 166 | * removed afterwards. |
Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 167 | */ |
| 168 | void mmap_add_region(unsigned long long base_pa, uintptr_t base_va, |
Sandrine Bailleux | 28fa2e9 | 2017-04-19 14:02:23 +0100 | [diff] [blame] | 169 | size_t size, mmap_attr_t attr); |
Sandrine Bailleux | a9ad848 | 2017-07-18 13:26:36 +0100 | [diff] [blame] | 170 | void mmap_add_region_ctx(xlat_ctx_t *ctx, const mmap_region_t *mm); |
Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 171 | |
| 172 | /* |
Sandrine Bailleux | a9ad848 | 2017-07-18 13:26:36 +0100 | [diff] [blame] | 173 | * Add an array of static regions with defined base PA and base VA. This |
| 174 | * function can only be used before initializing the translation tables. The |
| 175 | * regions cannot be removed afterwards. |
| 176 | */ |
| 177 | void mmap_add(const mmap_region_t *mm); |
| 178 | void mmap_add_ctx(xlat_ctx_t *ctx, const mmap_region_t *mm); |
| 179 | |
| 180 | |
| 181 | #if PLAT_XLAT_TABLES_DYNAMIC |
| 182 | /* |
Antonio Nino Diaz | e769db3 | 2017-05-08 16:43:53 +0100 | [diff] [blame] | 183 | * Add a dynamic region with defined base PA and base VA. This type of region |
| 184 | * can be added and removed even after the translation tables are initialized. |
Antonio Nino Diaz | 0b64f4e | 2017-02-27 17:23:54 +0000 | [diff] [blame] | 185 | * |
| 186 | * Returns: |
| 187 | * 0: Success. |
| 188 | * EINVAL: Invalid values were used as arguments. |
| 189 | * ERANGE: Memory limits were surpassed. |
| 190 | * ENOMEM: Not enough space in the mmap array or not enough free xlat tables. |
| 191 | * EPERM: It overlaps another region in an invalid way. |
| 192 | */ |
| 193 | int mmap_add_dynamic_region(unsigned long long base_pa, uintptr_t base_va, |
Sandrine Bailleux | 28fa2e9 | 2017-04-19 14:02:23 +0100 | [diff] [blame] | 194 | size_t size, mmap_attr_t attr); |
Sandrine Bailleux | a9ad848 | 2017-07-18 13:26:36 +0100 | [diff] [blame] | 195 | int mmap_add_dynamic_region_ctx(xlat_ctx_t *ctx, mmap_region_t *mm); |
Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 196 | |
Antonio Nino Diaz | 0b64f4e | 2017-02-27 17:23:54 +0000 | [diff] [blame] | 197 | /* |
| 198 | * Remove a region with the specified base VA and size. Only dynamic regions can |
Antonio Nino Diaz | e769db3 | 2017-05-08 16:43:53 +0100 | [diff] [blame] | 199 | * be removed, and they can be removed even if the translation tables are |
| 200 | * initialized. |
Antonio Nino Diaz | 0b64f4e | 2017-02-27 17:23:54 +0000 | [diff] [blame] | 201 | * |
| 202 | * Returns: |
| 203 | * 0: Success. |
| 204 | * EINVAL: The specified region wasn't found. |
| 205 | * EPERM: Trying to remove a static region. |
| 206 | */ |
| 207 | int mmap_remove_dynamic_region(uintptr_t base_va, size_t size); |
Sandrine Bailleux | a9ad848 | 2017-07-18 13:26:36 +0100 | [diff] [blame] | 208 | int mmap_remove_dynamic_region_ctx(xlat_ctx_t *ctx, |
| 209 | uintptr_t base_va, |
| 210 | size_t size); |
| 211 | |
| 212 | #endif /* PLAT_XLAT_TABLES_DYNAMIC */ |
Antonio Nino Diaz | 0b64f4e | 2017-02-27 17:23:54 +0000 | [diff] [blame] | 213 | |
Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 214 | #endif /*__ASSEMBLY__*/ |
| 215 | #endif /* __XLAT_TABLES_V2_H__ */ |