Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 1 | /* |
Roberto Vargas | 9fb8af3 | 2018-02-12 12:36:17 +0000 | [diff] [blame] | 2 | * Copyright (c) 2017-2018, ARM Limited and Contributors. All rights reserved. |
Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 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 | |
Antonio Nino Diaz | e7b9886 | 2018-07-24 10:20:53 +0100 | [diff] [blame^] | 7 | #ifndef XLAT_TABLES_PRIVATE_H |
| 8 | #define XLAT_TABLES_PRIVATE_H |
Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 9 | |
Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 10 | #include <platform_def.h> |
Sandrine Bailleux | 8933c34 | 2017-05-19 09:59:37 +0100 | [diff] [blame] | 11 | #include <xlat_tables_defs.h> |
Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 12 | |
Antonio Nino Diaz | 0b64f4e | 2017-02-27 17:23:54 +0000 | [diff] [blame] | 13 | #if PLAT_XLAT_TABLES_DYNAMIC |
| 14 | /* |
Antonio Nino Diaz | 3a1b7b1 | 2018-06-21 14:39:16 +0100 | [diff] [blame] | 15 | * Private shifts and masks to access fields of an mmap attribute |
Antonio Nino Diaz | 0b64f4e | 2017-02-27 17:23:54 +0000 | [diff] [blame] | 16 | */ |
| 17 | /* Dynamic or static */ |
Antonio Nino Diaz | 3a1b7b1 | 2018-06-21 14:39:16 +0100 | [diff] [blame] | 18 | #define MT_DYN_SHIFT U(31) |
Antonio Nino Diaz | 0b64f4e | 2017-02-27 17:23:54 +0000 | [diff] [blame] | 19 | |
| 20 | /* |
| 21 | * Memory mapping private attributes |
| 22 | * |
Antonio Nino Diaz | 3a1b7b1 | 2018-06-21 14:39:16 +0100 | [diff] [blame] | 23 | * Private attributes not exposed in the public header. |
Antonio Nino Diaz | 0b64f4e | 2017-02-27 17:23:54 +0000 | [diff] [blame] | 24 | */ |
Antonio Nino Diaz | 3a1b7b1 | 2018-06-21 14:39:16 +0100 | [diff] [blame] | 25 | |
| 26 | /* |
| 27 | * Regions mapped before the MMU can't be unmapped dynamically (they are |
| 28 | * static) and regions mapped with MMU enabled can be unmapped. This |
| 29 | * behaviour can't be overridden. |
| 30 | * |
| 31 | * Static regions can overlap each other, dynamic regions can't. |
| 32 | */ |
| 33 | #define MT_STATIC (U(0) << MT_DYN_SHIFT) |
| 34 | #define MT_DYNAMIC (U(1) << MT_DYN_SHIFT) |
Antonio Nino Diaz | 0b64f4e | 2017-02-27 17:23:54 +0000 | [diff] [blame] | 35 | |
Sandrine Bailleux | f301da4 | 2017-04-25 14:09:47 +0100 | [diff] [blame] | 36 | #endif /* PLAT_XLAT_TABLES_DYNAMIC */ |
| 37 | |
Antonio Nino Diaz | e7b9886 | 2018-07-24 10:20:53 +0100 | [diff] [blame^] | 38 | extern uint64_t mmu_cfg_params[MMU_CFG_PARAM_MAX]; |
| 39 | |
Antonio Nino Diaz | 0b64f4e | 2017-02-27 17:23:54 +0000 | [diff] [blame] | 40 | /* |
Antonio Nino Diaz | 468e238 | 2018-07-05 08:11:48 +0100 | [diff] [blame] | 41 | * Return the execute-never mask that will prevent instruction fetch at the |
| 42 | * given translation regime. |
| 43 | */ |
| 44 | uint64_t xlat_arch_regime_get_xn_desc(int xlat_regime); |
| 45 | |
| 46 | /* |
Douglas Raillard | b4ae615 | 2017-09-25 15:23:22 +0100 | [diff] [blame] | 47 | * Invalidate all TLB entries that match the given virtual address. This |
| 48 | * operation applies to all PEs in the same Inner Shareable domain as the PE |
| 49 | * that executes this function. This functions must be called for every |
Antonio Nino Diaz | 8d164bc | 2018-07-11 09:46:45 +0100 | [diff] [blame] | 50 | * translation table entry that is modified. It only affects the specified |
| 51 | * translation regime. |
Douglas Raillard | b4ae615 | 2017-09-25 15:23:22 +0100 | [diff] [blame] | 52 | * |
| 53 | * Note, however, that it is architecturally UNDEFINED to invalidate TLB entries |
| 54 | * pertaining to a higher exception level, e.g. invalidating EL3 entries from |
| 55 | * S-EL1. |
Antonio Nino Diaz | 0b64f4e | 2017-02-27 17:23:54 +0000 | [diff] [blame] | 56 | */ |
Antonio Nino Diaz | 8d164bc | 2018-07-11 09:46:45 +0100 | [diff] [blame] | 57 | void xlat_arch_tlbi_va(uintptr_t va, int xlat_regime); |
Antonio Nino Diaz | 0b64f4e | 2017-02-27 17:23:54 +0000 | [diff] [blame] | 58 | |
| 59 | /* |
| 60 | * This function has to be called at the end of any code that uses the function |
| 61 | * xlat_arch_tlbi_va(). |
| 62 | */ |
| 63 | void xlat_arch_tlbi_va_sync(void); |
| 64 | |
Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 65 | /* Print VA, PA, size and attributes of all regions in the mmap array. */ |
Antonio Nino Diaz | e7b9886 | 2018-07-24 10:20:53 +0100 | [diff] [blame^] | 66 | void xlat_mmap_print(const mmap_region_t *mmap); |
Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 67 | |
| 68 | /* |
| 69 | * Print the current state of the translation tables by reading them from |
| 70 | * memory. |
| 71 | */ |
| 72 | void xlat_tables_print(xlat_ctx_t *ctx); |
| 73 | |
| 74 | /* |
Antonio Nino Diaz | fd2299e | 2018-07-03 11:58:49 +0100 | [diff] [blame] | 75 | * Returns a block/page table descriptor for the given level and attributes. |
| 76 | */ |
| 77 | uint64_t xlat_desc(const xlat_ctx_t *ctx, uint32_t attr, |
Antonio Nino Diaz | e7b9886 | 2018-07-24 10:20:53 +0100 | [diff] [blame^] | 78 | unsigned long long addr_pa, unsigned int level); |
Antonio Nino Diaz | fd2299e | 2018-07-03 11:58:49 +0100 | [diff] [blame] | 79 | |
| 80 | /* |
Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 81 | * Architecture-specific initialization code. |
| 82 | */ |
| 83 | |
Antonio Nino Diaz | a564025 | 2017-04-27 13:30:22 +0100 | [diff] [blame] | 84 | /* Returns the current Exception Level. The returned EL must be 1 or higher. */ |
Antonio Nino Diaz | e7b9886 | 2018-07-24 10:20:53 +0100 | [diff] [blame^] | 85 | unsigned int xlat_arch_current_el(void); |
Antonio Nino Diaz | a564025 | 2017-04-27 13:30:22 +0100 | [diff] [blame] | 86 | |
| 87 | /* |
Sandrine Bailleux | 99f6079 | 2017-05-31 13:31:48 +0100 | [diff] [blame] | 88 | * Return the maximum physical address supported by the hardware. |
| 89 | * This value depends on the execution state (AArch32/AArch64). |
| 90 | */ |
| 91 | unsigned long long xlat_arch_get_max_supported_pa(void); |
Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 92 | |
Antonio Nino Diaz | 609c919 | 2017-10-04 16:52:15 +0100 | [diff] [blame] | 93 | /* |
| 94 | * Return 1 if the MMU of the translation regime managed by the given xlat_ctx_t |
| 95 | * is enabled, 0 otherwise. |
| 96 | */ |
| 97 | int is_mmu_enabled_ctx(const xlat_ctx_t *ctx); |
Antonio Nino Diaz | 7bb01fb | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 98 | |
Antonio Nino Diaz | e7b9886 | 2018-07-24 10:20:53 +0100 | [diff] [blame^] | 99 | #endif /* XLAT_TABLES_PRIVATE_H */ |