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 unsigned int plat_fpga_calc_core_pos(u_register_t mpidr); 11 12 void fpga_console_init(void); 13 14 void plat_fpga_gic_init(void); 15 void fpga_pwr_gic_on_finish(void); 16 void fpga_pwr_gic_off(void); 17 18 #endif 19