1 /*
2  * Copyright (C) 2018 Marvell International Ltd.
3  *
4  * SPDX-License-Identifier:     BSD-3-Clause
5  * https://spdx.org/licenses
6  */
7 
8 #ifndef MARVELL_PLAT_PRIV_H
9 #define MARVELL_PLAT_PRIV_H
10 
11 #include <lib/utils.h>
12 
13 /*****************************************************************************
14  * Function and variable prototypes
15  *****************************************************************************
16  */
17 void plat_delay_timer_init(void);
18 
19 uint64_t mvebu_get_dram_size(uint64_t ap_base_addr);
20 
21 /*
22  * GIC operation, mandatory functions required in Marvell standard platforms
23  */
24 void plat_marvell_gic_driver_init(void);
25 void plat_marvell_gic_init(void);
26 void plat_marvell_gic_cpuif_enable(void);
27 void plat_marvell_gic_cpuif_disable(void);
28 void plat_marvell_gic_pcpu_init(void);
29 void plat_marvell_gic_irq_save(void);
30 void plat_marvell_gic_irq_restore(void);
31 void plat_marvell_gic_irq_pcpu_save(void);
32 void plat_marvell_gic_irq_pcpu_restore(void);
33 
34 #endif /* MARVELL_PLAT_PRIV_H */
35