| /* SPDX-License-Identifier: BSD-2-Clause */ |
| /* |
| * Copyright (c) 2015-2016, Linaro Limited |
| */ |
| #ifndef CORE_MMU_PRIVATE_H |
| #define CORE_MMU_PRIVATE_H |
| |
| #include <mm/core_mmu.h> |
| #include <mm/tee_mmu_types.h> |
| |
| |
| void core_init_mmu(struct tee_mmap_region *mm); |
| |
| void core_mmu_set_info_table(struct core_mmu_table_info *tbl_info, |
| unsigned level, vaddr_t va_base, void *table); |
| void core_mmu_populate_user_map(struct core_mmu_table_info *dir_info, |
| struct user_ta_ctx *utc); |
| void core_mmu_map_region(struct mmu_partition *prtn, |
| struct tee_mmap_region *mm); |
| |
| static inline bool core_mmap_is_end_of_table(const struct tee_mmap_region *mm) |
| { |
| return mm->type == MEM_AREA_END; |
| } |
| |
| #ifdef ARM64 |
| void core_mmu_set_max_pa(paddr_t pa); |
| #else |
| static inline void core_mmu_set_max_pa(paddr_t pa __unused) |
| { |
| } |
| #endif |
| |
| #endif /*CORE_MMU_PRIVATE_H*/ |
| |