| developer | 65014b8 | 2015-04-13 14:47:57 +0800 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2014-2015, 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 |
| developer | 65014b8 | 2015-04-13 14:47:57 +0800 | [diff] [blame] | 5 | */ |
| 6 | |
| 7 | #ifndef __PLAT_PRIVATE_H__ |
| 8 | #define __PLAT_PRIVATE_H__ |
| 9 | |
| 10 | /******************************************************************************* |
| 11 | * Function and variable prototypes |
| 12 | ******************************************************************************/ |
| 13 | void plat_configure_mmu_el3(unsigned long total_base, |
| 14 | unsigned long total_size, |
| 15 | unsigned long, |
| 16 | unsigned long, |
| 17 | unsigned long, |
| 18 | unsigned long); |
| 19 | |
| 20 | void plat_cci_init(void); |
| 21 | void plat_cci_enable(void); |
| 22 | void plat_cci_disable(void); |
| 23 | |
| developer | 65014b8 | 2015-04-13 14:47:57 +0800 | [diff] [blame] | 24 | /* Declarations for plat_topology.c */ |
| 25 | int mt_setup_topology(void); |
| 26 | |
| developer | 65014b8 | 2015-04-13 14:47:57 +0800 | [diff] [blame] | 27 | #endif /* __PLAT_PRIVATE_H__ */ |