You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
54 lines
2.2 KiB
54 lines
2.2 KiB
/*
|
|
* Copyright (c) 2019-2020, ARM Limited and Contributors. All rights reserved.
|
|
*
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
|
*/
|
|
|
|
#include <plat/arm/common/plat_arm.h>
|
|
#include <plat/arm/css/common/css_pm.h>
|
|
|
|
/******************************************************************************
|
|
* The power domain tree descriptor.
|
|
******************************************************************************/
|
|
static const unsigned char rdn1edge_pd_tree_desc[] = {
|
|
(PLAT_ARM_CLUSTER_COUNT) * (CSS_SGI_CHIP_COUNT),
|
|
CSS_SGI_MAX_CPUS_PER_CLUSTER,
|
|
CSS_SGI_MAX_CPUS_PER_CLUSTER,
|
|
#if (CSS_SGI_CHIP_COUNT > 1)
|
|
CSS_SGI_MAX_CPUS_PER_CLUSTER,
|
|
CSS_SGI_MAX_CPUS_PER_CLUSTER
|
|
#endif
|
|
};
|
|
|
|
/*******************************************************************************
|
|
* This function returns the topology tree information.
|
|
******************************************************************************/
|
|
const unsigned char *plat_get_power_domain_tree_desc(void)
|
|
{
|
|
return rdn1edge_pd_tree_desc;
|
|
}
|
|
|
|
/*******************************************************************************
|
|
* The array mapping platform core position (implemented by plat_my_core_pos())
|
|
* to the SCMI power domain ID implemented by SCP.
|
|
******************************************************************************/
|
|
const uint32_t plat_css_core_pos_to_scmi_dmn_id_map[] = {
|
|
(SET_SCMI_CHANNEL_ID(0x0) | SET_SCMI_DOMAIN_ID(0x0)),
|
|
(SET_SCMI_CHANNEL_ID(0x0) | SET_SCMI_DOMAIN_ID(0x1)),
|
|
(SET_SCMI_CHANNEL_ID(0x0) | SET_SCMI_DOMAIN_ID(0x2)),
|
|
(SET_SCMI_CHANNEL_ID(0x0) | SET_SCMI_DOMAIN_ID(0x3)),
|
|
(SET_SCMI_CHANNEL_ID(0x0) | SET_SCMI_DOMAIN_ID(0x4)),
|
|
(SET_SCMI_CHANNEL_ID(0x0) | SET_SCMI_DOMAIN_ID(0x5)),
|
|
(SET_SCMI_CHANNEL_ID(0x0) | SET_SCMI_DOMAIN_ID(0x6)),
|
|
(SET_SCMI_CHANNEL_ID(0x0) | SET_SCMI_DOMAIN_ID(0x7)),
|
|
#if (CSS_SGI_CHIP_COUNT > 1)
|
|
(SET_SCMI_CHANNEL_ID(0x1) | SET_SCMI_DOMAIN_ID(0x0)),
|
|
(SET_SCMI_CHANNEL_ID(0x1) | SET_SCMI_DOMAIN_ID(0x1)),
|
|
(SET_SCMI_CHANNEL_ID(0x1) | SET_SCMI_DOMAIN_ID(0x2)),
|
|
(SET_SCMI_CHANNEL_ID(0x1) | SET_SCMI_DOMAIN_ID(0x3)),
|
|
(SET_SCMI_CHANNEL_ID(0x1) | SET_SCMI_DOMAIN_ID(0x4)),
|
|
(SET_SCMI_CHANNEL_ID(0x1) | SET_SCMI_DOMAIN_ID(0x5)),
|
|
(SET_SCMI_CHANNEL_ID(0x1) | SET_SCMI_DOMAIN_ID(0x6)),
|
|
(SET_SCMI_CHANNEL_ID(0x1) | SET_SCMI_DOMAIN_ID(0x7)),
|
|
#endif
|
|
};
|
|
|