1 /* 2 * Copyright (c) 2019-2020, ARM Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #include <plat/arm/common/plat_arm.h> 8 #include <plat/arm/css/common/css_pm.h> 9 10 /****************************************************************************** 11 * The power domain tree descriptor. 12 ******************************************************************************/ 13 static const unsigned char rdn1edge_pd_tree_desc[] = { 14 (PLAT_ARM_CLUSTER_COUNT) * (CSS_SGI_CHIP_COUNT), 15 CSS_SGI_MAX_CPUS_PER_CLUSTER, 16 CSS_SGI_MAX_CPUS_PER_CLUSTER, 17 #if (CSS_SGI_CHIP_COUNT > 1) 18 CSS_SGI_MAX_CPUS_PER_CLUSTER, 19 CSS_SGI_MAX_CPUS_PER_CLUSTER 20 #endif 21 }; 22 23 /******************************************************************************* 24 * This function returns the topology tree information. 25 ******************************************************************************/ 26 const unsigned char *plat_get_power_domain_tree_desc(void) 27 { 28 return rdn1edge_pd_tree_desc; 29 } 30 31 /******************************************************************************* 32 * The array mapping platform core position (implemented by plat_my_core_pos()) 33 * to the SCMI power domain ID implemented by SCP. 34 ******************************************************************************/ 35 const uint32_t plat_css_core_pos_to_scmi_dmn_id_map[] = { 36 (SET_SCMI_CHANNEL_ID(0x0) | SET_SCMI_DOMAIN_ID(0x0)), 37 (SET_SCMI_CHANNEL_ID(0x0) | SET_SCMI_DOMAIN_ID(0x1)), 38 (SET_SCMI_CHANNEL_ID(0x0) | SET_SCMI_DOMAIN_ID(0x2)), 39 (SET_SCMI_CHANNEL_ID(0x0) | SET_SCMI_DOMAIN_ID(0x3)), 40 (SET_SCMI_CHANNEL_ID(0x0) | SET_SCMI_DOMAIN_ID(0x4)), 41 (SET_SCMI_CHANNEL_ID(0x0) | SET_SCMI_DOMAIN_ID(0x5)), 42 (SET_SCMI_CHANNEL_ID(0x0) | SET_SCMI_DOMAIN_ID(0x6)), 43 (SET_SCMI_CHANNEL_ID(0x0) | SET_SCMI_DOMAIN_ID(0x7)), 44 #if (CSS_SGI_CHIP_COUNT > 1) 45 (SET_SCMI_CHANNEL_ID(0x1) | SET_SCMI_DOMAIN_ID(0x0)), 46 (SET_SCMI_CHANNEL_ID(0x1) | SET_SCMI_DOMAIN_ID(0x1)), 47 (SET_SCMI_CHANNEL_ID(0x1) | SET_SCMI_DOMAIN_ID(0x2)), 48 (SET_SCMI_CHANNEL_ID(0x1) | SET_SCMI_DOMAIN_ID(0x3)), 49 (SET_SCMI_CHANNEL_ID(0x1) | SET_SCMI_DOMAIN_ID(0x4)), 50 (SET_SCMI_CHANNEL_ID(0x1) | SET_SCMI_DOMAIN_ID(0x5)), 51 (SET_SCMI_CHANNEL_ID(0x1) | SET_SCMI_DOMAIN_ID(0x6)), 52 (SET_SCMI_CHANNEL_ID(0x1) | SET_SCMI_DOMAIN_ID(0x7)), 53 #endif 54 }; 55