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 ******************************************************************************/
plat_get_power_domain_tree_desc(void)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