mirror of
https://github.com/ARM-software/arm-trusted-firmware.git
synced 2025-04-16 17:44:19 +00:00

To make software license auditing simpler, use SPDX[0] license identifiers instead of duplicating the license text in every file. NOTE: Files that have been imported by FreeBSD have not been modified. [0]: https://spdx.org/ Change-Id: I80a00e1f641b8cc075ca5a95b10607ed9ed8761a Signed-off-by: dp-arm <dimitris.papastamos@arm.com>
19 lines
486 B
C
19 lines
486 B
C
/*
|
|
* 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__ */
|