| Antonio Nino Diaz | 233c7c1 | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2014-2017, ARM Limited and Contributors. All rights reserved. |
| 3 | * |
| dp-arm | fa3cf0b | 2017-05-03 09:38:09 +0100 | [diff] [blame^] | 4 | * SPDX-License-Identifier: BSD-3-Clause |
| Antonio Nino Diaz | 233c7c1 | 2017-03-08 14:40:23 +0000 | [diff] [blame] | 5 | */ |
| 6 | |
| 7 | #ifndef __XLAT_MMU_HELPERS_H__ |
| 8 | #define __XLAT_MMU_HELPERS_H__ |
| 9 | |
| 10 | #ifdef AARCH32 |
| 11 | /* AArch32 specific translation table API */ |
| 12 | void enable_mmu_secure(uint32_t flags); |
| 13 | #else |
| 14 | /* AArch64 specific translation table APIs */ |
| 15 | void enable_mmu_el1(unsigned int flags); |
| 16 | void enable_mmu_el3(unsigned int flags); |
| 17 | #endif /* AARCH32 */ |
| 18 | |
| 19 | #endif /* __XLAT_MMU_HELPERS_H__ */ |