| /* | |
| * Copyright (c) 2014-2017, ARM Limited and Contributors. All rights reserved. | |
| * | |
| * SPDX-License-Identifier: BSD-3-Clause | |
| */ | |
| #ifndef __XLAT_MMU_HELPERS_H__ | |
| #define __XLAT_MMU_HELPERS_H__ | |
| #ifdef AARCH32 | |
| /* AArch32 specific translation table API */ | |
| void enable_mmu_secure(uint32_t flags); | |
| #else | |
| /* AArch64 specific translation table APIs */ | |
| void enable_mmu_el1(unsigned int flags); | |
| void enable_mmu_el3(unsigned int flags); | |
| #endif /* AARCH32 */ | |
| #endif /* __XLAT_MMU_HELPERS_H__ */ |