| /* |
| * Copyright (c) 2020, ARM Limited and Contributors. All rights reserved. |
| * |
| * SPDX-License-Identifier: BSD-3-Clause |
| */ |
| |
| #include <arch_helpers.h> |
| |
| #include "fpga_private.h" |
| #include <platform_def.h> |
| |
| const unsigned char *plat_get_power_domain_tree_desc(void) |
| { |
| /* TODO: add description of power domain topology and PSCI implementation */ |
| return NULL; |
| } |
| |
| int plat_core_pos_by_mpidr(u_register_t mpidr) |
| { |
| /* |
| * TODO: calculate core position in a way that accounts for CPUs that |
| * potentially implement multithreading |
| */ |
| return (int) plat_fpga_calc_core_pos(mpidr); |
| } |