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