blob: 777189fb01eb8310ea7092b83ae7282f71877708 [file] [log] [blame]
Antonio Nino Diaz233c7c12017-03-08 14:40:23 +00001/*
Roberto Vargas777dd432018-02-12 12:36:17 +00002 * Copyright (c) 2017-2018, ARM Limited and Contributors. All rights reserved.
Antonio Nino Diaz233c7c12017-03-08 14:40:23 +00003 *
dp-armfa3cf0b2017-05-03 09:38:09 +01004 * SPDX-License-Identifier: BSD-3-Clause
Antonio Nino Diaz233c7c12017-03-08 14:40:23 +00005 */
6
7#ifndef __XLAT_TABLES_PRIVATE_H__
8#define __XLAT_TABLES_PRIVATE_H__
9
Antonio Nino Diaz233c7c12017-03-08 14:40:23 +000010#include <platform_def.h>
Sandrine Bailleux090c8492017-05-19 09:59:37 +010011#include <xlat_tables_defs.h>
Antonio Nino Diaz233c7c12017-03-08 14:40:23 +000012
Antonio Nino Diazac998032017-02-27 17:23:54 +000013#if PLAT_XLAT_TABLES_DYNAMIC
14/*
Antonio Nino Diaz8643a812018-06-21 14:39:16 +010015 * Private shifts and masks to access fields of an mmap attribute
Antonio Nino Diazac998032017-02-27 17:23:54 +000016 */
17/* Dynamic or static */
Antonio Nino Diaz8643a812018-06-21 14:39:16 +010018#define MT_DYN_SHIFT U(31)
Antonio Nino Diazac998032017-02-27 17:23:54 +000019
20/*
21 * Memory mapping private attributes
22 *
Antonio Nino Diaz8643a812018-06-21 14:39:16 +010023 * 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 Diazac998032017-02-27 17:23:54 +000032 */
Antonio Nino Diaz8643a812018-06-21 14:39:16 +010033#define MT_STATIC (U(0) << MT_DYN_SHIFT)
34#define MT_DYNAMIC (U(1) << MT_DYN_SHIFT)
Antonio Nino Diazac998032017-02-27 17:23:54 +000035
Sandrine Bailleux33835542017-04-25 14:09:47 +010036#endif /* PLAT_XLAT_TABLES_DYNAMIC */
37
Antonio Nino Diazac998032017-02-27 17:23:54 +000038/*
Douglas Raillard2d545792017-09-25 15:23:22 +010039 * Invalidate all TLB entries that match the given virtual address. This
40 * operation applies to all PEs in the same Inner Shareable domain as the PE
41 * that executes this function. This functions must be called for every
42 * translation table entry that is modified.
43 *
44 * xlat_arch_tlbi_va() applies the invalidation to the exception level of the
45 * current translation regime, whereas xlat_arch_tlbi_va_regime() applies it to
46 * the given translation regime.
47 *
48 * Note, however, that it is architecturally UNDEFINED to invalidate TLB entries
49 * pertaining to a higher exception level, e.g. invalidating EL3 entries from
50 * S-EL1.
Antonio Nino Diazac998032017-02-27 17:23:54 +000051 */
52void xlat_arch_tlbi_va(uintptr_t va);
Douglas Raillard2d545792017-09-25 15:23:22 +010053void xlat_arch_tlbi_va_regime(uintptr_t va, xlat_regime_t xlat_regime);
Antonio Nino Diazac998032017-02-27 17:23:54 +000054
55/*
56 * This function has to be called at the end of any code that uses the function
57 * xlat_arch_tlbi_va().
58 */
59void xlat_arch_tlbi_va_sync(void);
60
Antonio Nino Diaz233c7c12017-03-08 14:40:23 +000061/* Print VA, PA, size and attributes of all regions in the mmap array. */
62void print_mmap(mmap_region_t *const mmap);
63
64/*
65 * Print the current state of the translation tables by reading them from
66 * memory.
67 */
68void xlat_tables_print(xlat_ctx_t *ctx);
69
70/*
Antonio Nino Diaz233c7c12017-03-08 14:40:23 +000071 * Architecture-specific initialization code.
72 */
Antonio Nino Diazefabaa92017-04-27 13:30:22 +010073
74/* Returns the current Exception Level. The returned EL must be 1 or higher. */
75int xlat_arch_current_el(void);
76
77/*
Sandrine Bailleuxc5b63772017-05-31 13:31:48 +010078 * Return the maximum physical address supported by the hardware.
79 * This value depends on the execution state (AArch32/AArch64).
80 */
81unsigned long long xlat_arch_get_max_supported_pa(void);
Antonio Nino Diaz233c7c12017-03-08 14:40:23 +000082
83/* Enable MMU and configure it to use the specified translation tables. */
Jeenu Viswambharan58e81482018-04-27 15:06:57 +010084void setup_mmu_cfg(unsigned int flags, const uint64_t *base_table,
Roberto Vargas777dd432018-02-12 12:36:17 +000085 unsigned long long max_pa, uintptr_t max_va);
Antonio Nino Diaz233c7c12017-03-08 14:40:23 +000086
Antonio Nino Diazdcf9d922017-10-04 16:52:15 +010087/*
88 * Return 1 if the MMU of the translation regime managed by the given xlat_ctx_t
89 * is enabled, 0 otherwise.
90 */
91int is_mmu_enabled_ctx(const xlat_ctx_t *ctx);
Antonio Nino Diaz233c7c12017-03-08 14:40:23 +000092
93#endif /* __XLAT_TABLES_PRIVATE_H__ */