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 | #include <arch_helpers.h> |
| 8 | |
| 9 | #include "fpga_private.h" |
| 10 | #include <platform_def.h> |
| 11 | |
| 12 | const unsigned char *plat_get_power_domain_tree_desc(void) |
| 13 | { |
| 14 | /* TODO: add description of power domain topology and PSCI implementation */ |
| 15 | return NULL; |
| 16 | } |
| 17 | |
| 18 | int plat_core_pos_by_mpidr(u_register_t mpidr) |
| 19 | { |
| 20 | /* |
| 21 | * TODO: calculate core position in a way that accounts for CPUs that |
| 22 | * potentially implement multithreading |
| 23 | */ |
| 24 | return (int) plat_fpga_calc_core_pos(mpidr); |
| 25 | } |