blob: f7450ca1ce865dd46bdbbaa42984a7b1274ea6a4 [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
Antonio Nino Diaz5eb88372018-11-08 10:20:19 +00007#ifndef PLAT_PRIVATE_H
8#define PLAT_PRIVATE_H
9
developer550bf5e2016-07-11 16:05:23 +080010#include <stdint.h>
Antonio Nino Diaze0f90632018-12-14 00:18:21 +000011
12#include <lib/xlat_tables/xlat_tables.h>
developer550bf5e2016-07-11 16:05:23 +080013
14void plat_configure_mmu_el3(unsigned long total_base,
15 unsigned long total_size,
16 unsigned long,
17 unsigned long,
18 unsigned long,
19 unsigned long);
20
21void plat_cci_init(void);
22void plat_cci_enable(void);
23void plat_cci_disable(void);
24
25/* Declarations for plat_mt_gic.c */
26void plat_mt_gic_init(void);
27
28/* Declarations for plat_topology.c */
29int mt_setup_topology(void);
30void plat_delay_timer_init(void);
31
32void plat_mt_gic_driver_init(void);
33void plat_mt_gic_init(void);
34void plat_mt_gic_cpuif_enable(void);
35void plat_mt_gic_cpuif_disable(void);
36void plat_mt_gic_pcpu_init(void);
37
Antonio Nino Diaz5eb88372018-11-08 10:20:19 +000038#endif /* PLAT_PRIVATE_H */