17bb01fb2SAntonio Nino Diaz /* 27bb01fb2SAntonio Nino Diaz * Copyright (c) 2017, ARM Limited and Contributors. All rights reserved. 37bb01fb2SAntonio Nino Diaz * 482cb2c1aSdp-arm * SPDX-License-Identifier: BSD-3-Clause 57bb01fb2SAntonio Nino Diaz */ 67bb01fb2SAntonio Nino Diaz 77bb01fb2SAntonio Nino Diaz #ifndef __XLAT_TABLES_PRIVATE_H__ 87bb01fb2SAntonio Nino Diaz #define __XLAT_TABLES_PRIVATE_H__ 97bb01fb2SAntonio Nino Diaz 107bb01fb2SAntonio Nino Diaz #include <platform_def.h> 11*8933c34bSSandrine Bailleux #include <xlat_tables_defs.h> 127bb01fb2SAntonio Nino Diaz 137bb01fb2SAntonio Nino Diaz /* Struct that holds all information about the translation tables. */ 147bb01fb2SAntonio Nino Diaz typedef struct { 157bb01fb2SAntonio Nino Diaz 167bb01fb2SAntonio Nino Diaz /* 177bb01fb2SAntonio Nino Diaz * Max allowed Virtual and Physical Addresses. 187bb01fb2SAntonio Nino Diaz */ 197bb01fb2SAntonio Nino Diaz unsigned long long pa_max_address; 207bb01fb2SAntonio Nino Diaz uintptr_t va_max_address; 217bb01fb2SAntonio Nino Diaz 227bb01fb2SAntonio Nino Diaz /* 237bb01fb2SAntonio Nino Diaz * Array of all memory regions stored in order of ascending end address 247bb01fb2SAntonio Nino Diaz * and ascending size to simplify the code that allows overlapping 257bb01fb2SAntonio Nino Diaz * regions. The list is terminated by the first entry with size == 0. 26e769db3eSAntonio Nino Diaz * The max size of the list is stored in `mmap_num`. `mmap` points to an 27e769db3eSAntonio Nino Diaz * array of mmap_num + 1 elements, so that there is space for the final 28e769db3eSAntonio Nino Diaz * null entry. 297bb01fb2SAntonio Nino Diaz */ 30e769db3eSAntonio Nino Diaz mmap_region_t *mmap; 316311f63dSVarun Wadekar unsigned int mmap_num; 327bb01fb2SAntonio Nino Diaz 337bb01fb2SAntonio Nino Diaz /* 347bb01fb2SAntonio Nino Diaz * Array of finer-grain translation tables. 357bb01fb2SAntonio Nino Diaz * For example, if the initial lookup level is 1 then this array would 367bb01fb2SAntonio Nino Diaz * contain both level-2 and level-3 entries. 377bb01fb2SAntonio Nino Diaz */ 387bb01fb2SAntonio Nino Diaz uint64_t (*tables)[XLAT_TABLE_ENTRIES]; 396311f63dSVarun Wadekar unsigned int tables_num; 400b64f4efSAntonio Nino Diaz /* 410b64f4efSAntonio Nino Diaz * Keep track of how many regions are mapped in each table. The base 420b64f4efSAntonio Nino Diaz * table can't be unmapped so it isn't needed to keep track of it. 430b64f4efSAntonio Nino Diaz */ 440b64f4efSAntonio Nino Diaz #if PLAT_XLAT_TABLES_DYNAMIC 450b64f4efSAntonio Nino Diaz int *tables_mapped_regions; 460b64f4efSAntonio Nino Diaz #endif /* PLAT_XLAT_TABLES_DYNAMIC */ 477bb01fb2SAntonio Nino Diaz 486311f63dSVarun Wadekar unsigned int next_table; 497bb01fb2SAntonio Nino Diaz 507bb01fb2SAntonio Nino Diaz /* 517bb01fb2SAntonio Nino Diaz * Base translation table. It doesn't need to have the same amount of 527bb01fb2SAntonio Nino Diaz * entries as the ones used for other levels. 537bb01fb2SAntonio Nino Diaz */ 547bb01fb2SAntonio Nino Diaz uint64_t *base_table; 556311f63dSVarun Wadekar unsigned int base_table_entries; 567bb01fb2SAntonio Nino Diaz 57e769db3eSAntonio Nino Diaz /* 58e769db3eSAntonio Nino Diaz * Max Physical and Virtual addresses currently in use by the 59e769db3eSAntonio Nino Diaz * translation tables. These might get updated as we map/unmap memory 60e769db3eSAntonio Nino Diaz * regions but they will never go beyond pa/va_max_address. 61e769db3eSAntonio Nino Diaz */ 627bb01fb2SAntonio Nino Diaz unsigned long long max_pa; 637bb01fb2SAntonio Nino Diaz uintptr_t max_va; 647bb01fb2SAntonio Nino Diaz 657bb01fb2SAntonio Nino Diaz /* Level of the base translation table. */ 666311f63dSVarun Wadekar unsigned int base_level; 677bb01fb2SAntonio Nino Diaz 687bb01fb2SAntonio Nino Diaz /* Set to 1 when the translation tables are initialized. */ 696311f63dSVarun Wadekar unsigned int initialized; 707bb01fb2SAntonio Nino Diaz 71a5640252SAntonio Nino Diaz /* 72a5640252SAntonio Nino Diaz * Bit mask that has to be ORed to the rest of a translation table 73a5640252SAntonio Nino Diaz * descriptor in order to prohibit execution of code at the exception 74a5640252SAntonio Nino Diaz * level of this translation context. 75a5640252SAntonio Nino Diaz */ 76a5640252SAntonio Nino Diaz uint64_t execute_never_mask; 77a5640252SAntonio Nino Diaz 787bb01fb2SAntonio Nino Diaz } xlat_ctx_t; 797bb01fb2SAntonio Nino Diaz 800b64f4efSAntonio Nino Diaz #if PLAT_XLAT_TABLES_DYNAMIC 810b64f4efSAntonio Nino Diaz /* 820b64f4efSAntonio Nino Diaz * Shifts and masks to access fields of an mmap_attr_t 830b64f4efSAntonio Nino Diaz */ 840b64f4efSAntonio Nino Diaz /* Dynamic or static */ 850b64f4efSAntonio Nino Diaz #define MT_DYN_SHIFT 30 /* 31 would cause undefined behaviours */ 860b64f4efSAntonio Nino Diaz 870b64f4efSAntonio Nino Diaz /* 880b64f4efSAntonio Nino Diaz * Memory mapping private attributes 890b64f4efSAntonio Nino Diaz * 900b64f4efSAntonio Nino Diaz * Private attributes not exposed in the mmap_attr_t enum. 910b64f4efSAntonio Nino Diaz */ 920b64f4efSAntonio Nino Diaz typedef enum { 930b64f4efSAntonio Nino Diaz /* 940b64f4efSAntonio Nino Diaz * Regions mapped before the MMU can't be unmapped dynamically (they are 950b64f4efSAntonio Nino Diaz * static) and regions mapped with MMU enabled can be unmapped. This 960b64f4efSAntonio Nino Diaz * behaviour can't be overridden. 970b64f4efSAntonio Nino Diaz * 980b64f4efSAntonio Nino Diaz * Static regions can overlap each other, dynamic regions can't. 990b64f4efSAntonio Nino Diaz */ 1000b64f4efSAntonio Nino Diaz MT_STATIC = 0 << MT_DYN_SHIFT, 1010b64f4efSAntonio Nino Diaz MT_DYNAMIC = 1 << MT_DYN_SHIFT 1020b64f4efSAntonio Nino Diaz } mmap_priv_attr_t; 1030b64f4efSAntonio Nino Diaz 1040b64f4efSAntonio Nino Diaz /* 1050b64f4efSAntonio Nino Diaz * Function used to invalidate all levels of the translation walk for a given 1060b64f4efSAntonio Nino Diaz * virtual address. It must be called for every translation table entry that is 1070b64f4efSAntonio Nino Diaz * modified. 1080b64f4efSAntonio Nino Diaz */ 1090b64f4efSAntonio Nino Diaz void xlat_arch_tlbi_va(uintptr_t va); 1100b64f4efSAntonio Nino Diaz 1110b64f4efSAntonio Nino Diaz /* 1120b64f4efSAntonio Nino Diaz * This function has to be called at the end of any code that uses the function 1130b64f4efSAntonio Nino Diaz * xlat_arch_tlbi_va(). 1140b64f4efSAntonio Nino Diaz */ 1150b64f4efSAntonio Nino Diaz void xlat_arch_tlbi_va_sync(void); 1160b64f4efSAntonio Nino Diaz 1170b64f4efSAntonio Nino Diaz /* Add a dynamic region to the specified context. */ 1180b64f4efSAntonio Nino Diaz int mmap_add_dynamic_region_ctx(xlat_ctx_t *ctx, mmap_region_t *mm); 1190b64f4efSAntonio Nino Diaz 1200b64f4efSAntonio Nino Diaz /* Remove a dynamic region from the specified context. */ 1210b64f4efSAntonio Nino Diaz int mmap_remove_dynamic_region_ctx(xlat_ctx_t *ctx, uintptr_t base_va, 1220b64f4efSAntonio Nino Diaz size_t size); 1230b64f4efSAntonio Nino Diaz 1240b64f4efSAntonio Nino Diaz #endif /* PLAT_XLAT_TABLES_DYNAMIC */ 1250b64f4efSAntonio Nino Diaz 1267bb01fb2SAntonio Nino Diaz /* Print VA, PA, size and attributes of all regions in the mmap array. */ 1277bb01fb2SAntonio Nino Diaz void print_mmap(mmap_region_t *const mmap); 1287bb01fb2SAntonio Nino Diaz 1297bb01fb2SAntonio Nino Diaz /* 1307bb01fb2SAntonio Nino Diaz * Print the current state of the translation tables by reading them from 1317bb01fb2SAntonio Nino Diaz * memory. 1327bb01fb2SAntonio Nino Diaz */ 1337bb01fb2SAntonio Nino Diaz void xlat_tables_print(xlat_ctx_t *ctx); 1347bb01fb2SAntonio Nino Diaz 1357bb01fb2SAntonio Nino Diaz /* 1367bb01fb2SAntonio Nino Diaz * Initialize the translation tables by mapping all regions added to the 1377bb01fb2SAntonio Nino Diaz * specified context. 1387bb01fb2SAntonio Nino Diaz */ 1397bb01fb2SAntonio Nino Diaz void init_xlation_table(xlat_ctx_t *ctx); 1407bb01fb2SAntonio Nino Diaz 1417bb01fb2SAntonio Nino Diaz /* Add a static region to the specified context. */ 1427bb01fb2SAntonio Nino Diaz void mmap_add_region_ctx(xlat_ctx_t *ctx, mmap_region_t *mm); 1437bb01fb2SAntonio Nino Diaz 1447bb01fb2SAntonio Nino Diaz /* 1457bb01fb2SAntonio Nino Diaz * Architecture-specific initialization code. 1467bb01fb2SAntonio Nino Diaz */ 1477bb01fb2SAntonio Nino Diaz 148a5640252SAntonio Nino Diaz /* Returns the current Exception Level. The returned EL must be 1 or higher. */ 149a5640252SAntonio Nino Diaz int xlat_arch_current_el(void); 150a5640252SAntonio Nino Diaz 151a5640252SAntonio Nino Diaz /* 152a5640252SAntonio Nino Diaz * Returns the bit mask that has to be ORed to the rest of a translation table 153a5640252SAntonio Nino Diaz * descriptor so that execution of code is prohibited at the given Exception 154a5640252SAntonio Nino Diaz * Level. 155a5640252SAntonio Nino Diaz */ 156a5640252SAntonio Nino Diaz uint64_t xlat_arch_get_xn_desc(int el); 157a5640252SAntonio Nino Diaz 1587bb01fb2SAntonio Nino Diaz /* Execute architecture-specific translation table initialization code. */ 1597bb01fb2SAntonio Nino Diaz void init_xlat_tables_arch(unsigned long long max_pa); 1607bb01fb2SAntonio Nino Diaz 1617bb01fb2SAntonio Nino Diaz /* Enable MMU and configure it to use the specified translation tables. */ 1627bb01fb2SAntonio Nino Diaz void enable_mmu_arch(unsigned int flags, uint64_t *base_table); 1637bb01fb2SAntonio Nino Diaz 1647bb01fb2SAntonio Nino Diaz /* Return 1 if the MMU of this Exception Level is enabled, 0 otherwise. */ 1657bb01fb2SAntonio Nino Diaz int is_mmu_enabled(void); 1667bb01fb2SAntonio Nino Diaz 1677bb01fb2SAntonio Nino Diaz #endif /* __XLAT_TABLES_PRIVATE_H__ */ 168