| Soby Mathew | 0d268dc | 2016-07-11 14:13:56 +0100 | [diff] [blame] | 1 | /* |
| Soby Mathew | 73308d0 | 2018-01-09 14:36:14 +0000 | [diff] [blame] | 2 | * Copyright (c) 2016-2018, ARM Limited and Contributors. All rights reserved. |
| Soby Mathew | 0d268dc | 2016-07-11 14:13:56 +0100 | [diff] [blame] | 3 | * |
| dp-arm | fa3cf0b | 2017-05-03 09:38:09 +0100 | [diff] [blame] | 4 | * SPDX-License-Identifier: BSD-3-Clause |
| Soby Mathew | 0d268dc | 2016-07-11 14:13:56 +0100 | [diff] [blame] | 5 | */ |
| 6 | |
| Antonio Nino Diaz | e0f9063 | 2018-12-14 00:18:21 +0000 | [diff] [blame^] | 7 | #include <lib/xlat_tables/xlat_mmu_helpers.h> |
| 8 | #include <plat/common/platform.h> |
| Soby Mathew | 0d268dc | 2016-07-11 14:13:56 +0100 | [diff] [blame] | 9 | |
| 10 | /* |
| 11 | * The following platform setup functions are weakly defined. They |
| 12 | * provide typical implementations that may be re-used by multiple |
| 13 | * platforms but may also be overridden by a platform if required. |
| 14 | */ |
| 15 | #pragma weak bl32_plat_enable_mmu |
| Soby Mathew | 6d07e67 | 2018-03-01 10:53:33 +0000 | [diff] [blame] | 16 | |
| Soby Mathew | 0d268dc | 2016-07-11 14:13:56 +0100 | [diff] [blame] | 17 | |
| 18 | void bl32_plat_enable_mmu(uint32_t flags) |
| 19 | { |
| Antonio Nino Diaz | 128de8d | 2018-08-07 19:59:49 +0100 | [diff] [blame] | 20 | enable_mmu_svc_mon(flags); |
| Soby Mathew | 0d268dc | 2016-07-11 14:13:56 +0100 | [diff] [blame] | 21 | } |