blob: 9c6c1f0f1a73d57b0b3d44096d9a7171497e7df9 [file] [log] [blame]
developer550bf5e2016-07-11 16:05:23 +08001/*
2 * Copyright (c) 2016, ARM Limited and Contributors. All rights reserved.
3 *
dp-armfa3cf0b2017-05-03 09:38:09 +01004 * SPDX-License-Identifier: BSD-3-Clause
developer550bf5e2016-07-11 16:05:23 +08005 */
6
7#ifndef __PLAT_PRIVATE_H__
8#define __PLAT_PRIVATE_H__
9#include <stdint.h>
10#include <xlat_tables.h>
11
12void plat_configure_mmu_el3(unsigned long total_base,
13 unsigned long total_size,
14 unsigned long,
15 unsigned long,
16 unsigned long,
17 unsigned long);
18
19void plat_cci_init(void);
20void plat_cci_enable(void);
21void plat_cci_disable(void);
22
23/* Declarations for plat_mt_gic.c */
24void plat_mt_gic_init(void);
25
26/* Declarations for plat_topology.c */
27int mt_setup_topology(void);
28void plat_delay_timer_init(void);
29
30void plat_mt_gic_driver_init(void);
31void plat_mt_gic_init(void);
32void plat_mt_gic_cpuif_enable(void);
33void plat_mt_gic_cpuif_disable(void);
34void plat_mt_gic_pcpu_init(void);
35
36#endif /* __PLAT_PRIVATE_H__ */