1 /*
2  * Copyright (c) 2020, ARM Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #ifndef FPGA_PRIVATE_H
8 #define FPGA_PRIVATE_H
9 
10 #include "../fpga_def.h"
11 #include <platform_def.h>
12 
13 #define C_RUNTIME_READY_KEY	(0xaa55aa55)
14 #define VALID_MPID		(1U)
15 #define FPGA_MAX_DTB_SIZE	0x10000
16 
17 #ifndef __ASSEMBLER__
18 
19 extern unsigned char fpga_valid_mpids[PLATFORM_CORE_COUNT];
20 
21 void fpga_console_init(void);
22 
23 void plat_fpga_gic_init(void);
24 void fpga_pwr_gic_on_finish(void);
25 void fpga_pwr_gic_off(void);
26 unsigned int plat_fpga_calc_core_pos(uint32_t mpid);
27 unsigned int fpga_get_nr_gic_cores(void);
28 uintptr_t fpga_get_redist_size(void);
29 uintptr_t fpga_get_redist_base(void);
30 bool fpga_has_its(void);
31 
32 #endif /* __ASSEMBLER__ */
33 
34 #endif /* FPGA_PRIVATE_H */
35