blob: 10baa23d98519bd817c83378d9d8c8aa8c2277d4 [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>
11#include <xlat_tables.h>
12
13void 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
20void plat_cci_init(void);
21void plat_cci_enable(void);
22void plat_cci_disable(void);
23
24/* Declarations for plat_mt_gic.c */
25void plat_mt_gic_init(void);
26
27/* Declarations for plat_topology.c */
28int mt_setup_topology(void);
29void plat_delay_timer_init(void);
30
31void plat_mt_gic_driver_init(void);
32void plat_mt_gic_init(void);
33void plat_mt_gic_cpuif_enable(void);
34void plat_mt_gic_cpuif_disable(void);
35void plat_mt_gic_pcpu_init(void);
36
Antonio Nino Diaz5eb88372018-11-08 10:20:19 +000037#endif /* PLAT_PRIVATE_H */