26 lines
586 B
C
26 lines
586 B
C
|
/*
|
||
|
|
* 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);
|
||
|
|
}
|