| Oliver Swede | 8fed2fe | 2019-11-11 11:11:06 +0000 | [diff] [blame] | 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 | |
| Javier Almansa Sobrino | fc78c3c | 2020-05-13 14:09:58 +0100 | [diff] [blame^] | 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]; |
| Oliver Swede | 8fed2fe | 2019-11-11 11:11:06 +0000 | [diff] [blame] | 19 | |
| 20 | void fpga_console_init(void); |
| 21 | |
| Oliver Swede | b51da81 | 2019-12-03 14:08:21 +0000 | [diff] [blame] | 22 | void plat_fpga_gic_init(void); |
| 23 | void fpga_pwr_gic_on_finish(void); |
| 24 | void fpga_pwr_gic_off(void); |
| Javier Almansa Sobrino | fc78c3c | 2020-05-13 14:09:58 +0100 | [diff] [blame^] | 25 | unsigned int plat_fpga_calc_core_pos(uint32_t mpid); |
| 26 | |
| 27 | #endif /* __ASSEMBLER__ */ |
| Oliver Swede | b51da81 | 2019-12-03 14:08:21 +0000 | [diff] [blame] | 28 | |
| Javier Almansa Sobrino | fc78c3c | 2020-05-13 14:09:58 +0100 | [diff] [blame^] | 29 | #endif /* FPGA_PRIVATE_H */ |