2 * Copyright (c) 2017-2018, ARM Limited and Contributors. All rights reserved.
4 * SPDX-License-Identifier: BSD-3-Clause
10 #include <common/bl_common.h>
12 #include "hi3798cv200.h"
14 void plat_configure_mmu_el3(unsigned long total_base
,
15 unsigned long total_size
,
16 unsigned long ro_start
,
17 unsigned long ro_limit
,
18 unsigned long coh_start
,
19 unsigned long coh_limit
);
21 void plat_configure_mmu_el1(unsigned long total_base
,
22 unsigned long total_size
,
23 unsigned long ro_start
,
24 unsigned long ro_limit
,
25 unsigned long coh_start
,
26 unsigned long coh_limit
);
28 void plat_io_setup(void);
30 unsigned int poplar_calc_core_pos(u_register_t mpidr
);
32 void poplar_gic_driver_init(void);
33 void poplar_gic_init(void);
34 void poplar_gic_cpuif_enable(void);
35 void poplar_gic_pcpu_init(void);
37 #endif /* PLAT_PRIVATE_H */