Antonio Nino Diaz | 233c7c1 | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 1 | /* |
Roberto Vargas | 777dd43 | 2018-02-12 12:36:17 +0000 | [diff] [blame] | 2 | * Copyright (c) 2017-2018, ARM Limited and Contributors. All rights reserved. |
Antonio Nino Diaz | 233c7c1 | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 3 | * |
dp-arm | fa3cf0b | 2017-05-03 09:38:09 +0100 | [diff] [blame] | 4 | * SPDX-License-Identifier: BSD-3-Clause |
Antonio Nino Diaz | 233c7c1 | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 5 | */ |
| 6 | |
Antonio Nino Diaz | 50eb374 | 2018-07-24 10:20:53 +0100 | [diff] [blame] | 7 | #ifndef XLAT_TABLES_PRIVATE_H |
| 8 | #define XLAT_TABLES_PRIVATE_H |
Antonio Nino Diaz | 233c7c1 | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 9 | |
Antonio Nino Diaz | 233c7c1 | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 10 | #include <platform_def.h> |
Sandrine Bailleux | 090c849 | 2017-05-19 09:59:37 +0100 | [diff] [blame] | 11 | #include <xlat_tables_defs.h> |
Antonio Nino Diaz | 233c7c1 | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 12 | |
Antonio Nino Diaz | ac99803 | 2017-02-27 17:23:54 +0000 | [diff] [blame] | 13 | #if PLAT_XLAT_TABLES_DYNAMIC |
| 14 | /* |
Antonio Nino Diaz | 8643a81 | 2018-06-21 14:39:16 +0100 | [diff] [blame] | 15 | * Private shifts and masks to access fields of an mmap attribute |
Antonio Nino Diaz | ac99803 | 2017-02-27 17:23:54 +0000 | [diff] [blame] | 16 | */ |
| 17 | /* Dynamic or static */ |
Antonio Nino Diaz | 8643a81 | 2018-06-21 14:39:16 +0100 | [diff] [blame] | 18 | #define MT_DYN_SHIFT U(31) |
Antonio Nino Diaz | ac99803 | 2017-02-27 17:23:54 +0000 | [diff] [blame] | 19 | |
| 20 | /* |
| 21 | * Memory mapping private attributes |
| 22 | * |
Antonio Nino Diaz | 8643a81 | 2018-06-21 14:39:16 +0100 | [diff] [blame] | 23 | * Private attributes not exposed in the public header. |
| 24 | */ |
| 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. |
Antonio Nino Diaz | ac99803 | 2017-02-27 17:23:54 +0000 | [diff] [blame] | 32 | */ |
Antonio Nino Diaz | 8643a81 | 2018-06-21 14:39:16 +0100 | [diff] [blame] | 33 | #define MT_STATIC (U(0) << MT_DYN_SHIFT) |
| 34 | #define MT_DYNAMIC (U(1) << MT_DYN_SHIFT) |
Antonio Nino Diaz | ac99803 | 2017-02-27 17:23:54 +0000 | [diff] [blame] | 35 | |
Sandrine Bailleux | 3383554 | 2017-04-25 14:09:47 +0100 | [diff] [blame] | 36 | #endif /* PLAT_XLAT_TABLES_DYNAMIC */ |
| 37 | |
Antonio Nino Diaz | 50eb374 | 2018-07-24 10:20:53 +0100 | [diff] [blame] | 38 | extern uint64_t mmu_cfg_params[MMU_CFG_PARAM_MAX]; |
| 39 | |
Antonio Nino Diaz | ac99803 | 2017-02-27 17:23:54 +0000 | [diff] [blame] | 40 | /* |
Antonio Nino Diaz | 44d3c21 | 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 | 2d54579 | 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 | ad5dc7f | 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 | 2d54579 | 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 | ac99803 | 2017-02-27 17:23:54 +0000 | [diff] [blame] | 56 | */ |
Antonio Nino Diaz | ad5dc7f | 2018-07-11 09:46:45 +0100 | [diff] [blame] | 57 | void xlat_arch_tlbi_va(uintptr_t va, int xlat_regime); |
Antonio Nino Diaz | ac99803 | 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 | 233c7c1 | 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 | 50eb374 | 2018-07-24 10:20:53 +0100 | [diff] [blame] | 66 | void xlat_mmap_print(const mmap_region_t *mmap); |
Antonio Nino Diaz | 233c7c1 | 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 | f1b84f6 | 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 | 50eb374 | 2018-07-24 10:20:53 +0100 | [diff] [blame] | 78 | unsigned long long addr_pa, unsigned int level); |
Antonio Nino Diaz | f1b84f6 | 2018-07-03 11:58:49 +0100 | [diff] [blame] | 79 | |
| 80 | /* |
Antonio Nino Diaz | 233c7c1 | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 81 | * Architecture-specific initialization code. |
| 82 | */ |
Antonio Nino Diaz | efabaa9 | 2017-04-27 13:30:22 +0100 | [diff] [blame] | 83 | |
| 84 | /* Returns the current Exception Level. The returned EL must be 1 or higher. */ |
Antonio Nino Diaz | 50eb374 | 2018-07-24 10:20:53 +0100 | [diff] [blame] | 85 | unsigned int xlat_arch_current_el(void); |
Antonio Nino Diaz | efabaa9 | 2017-04-27 13:30:22 +0100 | [diff] [blame] | 86 | |
| 87 | /* |
Sandrine Bailleux | c5b6377 | 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 | 233c7c1 | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 92 | |
Antonio Nino Diaz | dcf9d92 | 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 | 233c7c1 | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 98 | |
Antonio Nino Diaz | 50eb374 | 2018-07-24 10:20:53 +0100 | [diff] [blame] | 99 | #endif /* XLAT_TABLES_PRIVATE_H */ |