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 16 #ifndef __ASSEMBLER__ 17 18 extern unsigned char fpga_valid_mpids[PLATFORM_CORE_COUNT]; 19 20 void fpga_console_init(void); 21 22 void plat_fpga_gic_init(void); 23 void fpga_pwr_gic_on_finish(void); 24 void fpga_pwr_gic_off(void); 25 unsigned int plat_fpga_calc_core_pos(uint32_t mpid); 26 27 #endif /* __ASSEMBLER__ */ 28 29 #endif /* FPGA_PRIVATE_H */ 30