2019-11-11 11:11:06 +00:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2020, ARM Limited and Contributors. All rights reserved.
|
|
|
|
*
|
|
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef FPGA_PRIVATE_H
|
|
|
|
#define FPGA_PRIVATE_H
|
|
|
|
|
2020-05-13 14:09:58 +01:00
|
|
|
#include "../fpga_def.h"
|
|
|
|
#include <platform_def.h>
|
|
|
|
|
|
|
|
#define C_RUNTIME_READY_KEY (0xaa55aa55)
|
|
|
|
#define VALID_MPID (1U)
|
2020-07-07 10:40:46 +01:00
|
|
|
#define FPGA_MAX_DTB_SIZE 0x10000
|
2020-05-13 14:09:58 +01:00
|
|
|
|
|
|
|
#ifndef __ASSEMBLER__
|
|
|
|
|
|
|
|
extern unsigned char fpga_valid_mpids[PLATFORM_CORE_COUNT];
|
2019-11-11 11:11:06 +00:00
|
|
|
|
|
|
|
void fpga_console_init(void);
|
|
|
|
|
2019-12-03 14:08:21 +00:00
|
|
|
void plat_fpga_gic_init(void);
|
|
|
|
void fpga_pwr_gic_on_finish(void);
|
|
|
|
void fpga_pwr_gic_off(void);
|
2020-05-13 14:09:58 +01:00
|
|
|
unsigned int plat_fpga_calc_core_pos(uint32_t mpid);
|
2020-08-24 18:34:50 +01:00
|
|
|
unsigned int fpga_get_nr_gic_cores(void);
|
2021-05-18 15:53:05 +01:00
|
|
|
uintptr_t fpga_get_redist_size(void);
|
2020-05-13 14:09:58 +01:00
|
|
|
|
|
|
|
#endif /* __ASSEMBLER__ */
|
2019-12-03 14:08:21 +00:00
|
|
|
|
2020-05-13 14:09:58 +01:00
|
|
|
#endif /* FPGA_PRIVATE_H */
|