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