17bb01fb2SAntonio Nino Diaz /* 27bb01fb2SAntonio Nino Diaz * Copyright (c) 2014-2017, ARM Limited and Contributors. All rights reserved. 37bb01fb2SAntonio Nino Diaz * 4*82cb2c1aSdp-arm * SPDX-License-Identifier: BSD-3-Clause 57bb01fb2SAntonio Nino Diaz */ 67bb01fb2SAntonio Nino Diaz 77bb01fb2SAntonio Nino Diaz #ifndef __XLAT_MMU_HELPERS_H__ 87bb01fb2SAntonio Nino Diaz #define __XLAT_MMU_HELPERS_H__ 97bb01fb2SAntonio Nino Diaz 107bb01fb2SAntonio Nino Diaz #ifdef AARCH32 117bb01fb2SAntonio Nino Diaz /* AArch32 specific translation table API */ 127bb01fb2SAntonio Nino Diaz void enable_mmu_secure(uint32_t flags); 137bb01fb2SAntonio Nino Diaz #else 147bb01fb2SAntonio Nino Diaz /* AArch64 specific translation table APIs */ 157bb01fb2SAntonio Nino Diaz void enable_mmu_el1(unsigned int flags); 167bb01fb2SAntonio Nino Diaz void enable_mmu_el3(unsigned int flags); 177bb01fb2SAntonio Nino Diaz #endif /* AARCH32 */ 187bb01fb2SAntonio Nino Diaz 197bb01fb2SAntonio Nino Diaz #endif /* __XLAT_MMU_HELPERS_H__ */ 20