blob: 810c48e1a05fb28eb1d3c6b1f414b637b1a02734 [file] [log] [blame]
Soby Mathew44170c42016-03-22 15:51:08 +00001/*
David Cunado8a354f12017-06-21 16:52:45 +01002 * Copyright (c) 2016-2017, ARM Limited and Contributors. All rights reserved.
Soby Mathew44170c42016-03-22 15:51:08 +00003 *
dp-armfa3cf0b2017-05-03 09:38:09 +01004 * SPDX-License-Identifier: BSD-3-Clause
Soby Mathew44170c42016-03-22 15:51:08 +00005 */
6
7#ifndef __XLAT_TABLES_PRIVATE_H__
8#define __XLAT_TABLES_PRIVATE_H__
9
Antonio Nino Diazd48ae612016-08-02 09:21:41 +010010#include <cassert.h>
Antonio Nino Diazd1beee22016-12-13 15:28:54 +000011#include <platform_def.h>
Sandrine Bailleux090c8492017-05-19 09:59:37 +010012#include <xlat_tables_arch.h>
Antonio Nino Diazd48ae612016-08-02 09:21:41 +010013
Jeenu Viswambharane834ee12018-04-27 15:17:03 +010014#if HW_ASSISTED_COHERENCY
15#error xlat tables v2 must be used with HW_ASSISTED_COHERENCY
16#endif
17
Antonio Nino Diazd1beee22016-12-13 15:28:54 +000018/*
19 * If the platform hasn't defined a physical and a virtual address space size
20 * default to ADDR_SPACE_SIZE.
21 */
22#if ERROR_DEPRECATED
23# ifdef ADDR_SPACE_SIZE
24# error "ADDR_SPACE_SIZE is deprecated. Use PLAT_xxx_ADDR_SPACE_SIZE instead."
25# endif
26#elif defined(ADDR_SPACE_SIZE)
27# ifndef PLAT_PHY_ADDR_SPACE_SIZE
28# define PLAT_PHY_ADDR_SPACE_SIZE ADDR_SPACE_SIZE
29# endif
30# ifndef PLAT_VIRT_ADDR_SPACE_SIZE
31# define PLAT_VIRT_ADDR_SPACE_SIZE ADDR_SPACE_SIZE
32# endif
33#endif
34
Sandrine Bailleux090c8492017-05-19 09:59:37 +010035CASSERT(CHECK_VIRT_ADDR_SPACE_SIZE(PLAT_VIRT_ADDR_SPACE_SIZE),
Antonio Nino Diazd1beee22016-12-13 15:28:54 +000036 assert_valid_virt_addr_space_size);
Antonio Nino Diaz010888d2016-12-13 15:02:31 +000037
Sandrine Bailleux090c8492017-05-19 09:59:37 +010038CASSERT(CHECK_PHY_ADDR_SPACE_SIZE(PLAT_PHY_ADDR_SPACE_SIZE),
39 assert_valid_phy_addr_space_size);
Antonio Nino Diaz010888d2016-12-13 15:02:31 +000040
Sandrine Bailleux090c8492017-05-19 09:59:37 +010041/* Alias to retain compatibility with the old #define name */
42#define XLAT_BLOCK_LEVEL_MIN MIN_LVL_BLOCK_DESC
Antonio Nino Diaz010888d2016-12-13 15:02:31 +000043
Soby Mathew44170c42016-03-22 15:51:08 +000044void print_mmap(void);
Antonio Nino Diazefabaa92017-04-27 13:30:22 +010045
46/* Returns the current Exception Level. The returned EL must be 1 or higher. */
47int xlat_arch_current_el(void);
48
49/*
50 * Returns the bit mask that has to be ORed to the rest of a translation table
51 * descriptor so that execution of code is prohibited at the given Exception
52 * Level.
53 */
54uint64_t xlat_arch_get_xn_desc(int el);
55
Soby Mathew44170c42016-03-22 15:51:08 +000056void init_xlation_table(uintptr_t base_va, uint64_t *table,
David Cunado8a354f12017-06-21 16:52:45 +010057 unsigned int level, uintptr_t *max_va,
Soby Mathew44170c42016-03-22 15:51:08 +000058 unsigned long long *max_pa);
59
60#endif /* __XLAT_TABLES_PRIVATE_H__ */