Nariman Poushin | c703f90 | 2018-03-07 10:29:57 +0000 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2018, ARM Limited and Contributors. All rights reserved. |
| 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | */ |
| 6 | |
| 7 | #include <plat_arm.h> |
| 8 | #include <sgm_plat_config.h> |
| 9 | |
| 10 | /******************************************************************************* |
| 11 | * This function returns the topology tree information. |
| 12 | ******************************************************************************/ |
| 13 | const unsigned char *plat_get_power_domain_tree_desc(void) |
| 14 | { |
| 15 | return get_plat_config()->topology->power_tree; |
| 16 | } |
| 17 | |
| 18 | /******************************************************************************* |
| 19 | * This function returns the core count within the cluster corresponding to |
| 20 | * `mpidr`. |
| 21 | ******************************************************************************/ |
| 22 | unsigned int plat_arm_get_cluster_core_count(u_register_t mpidr) |
| 23 | { |
| 24 | return get_plat_config()->topology->plat_cluster_core_count; |
| 25 | } |
| 26 | |
| 27 | /* |
| 28 | * The array mapping platform core position (implemented by plat_my_core_pos()) |
| 29 | * to the SCMI power domain ID implemented by SCP. |
| 30 | */ |
| 31 | const uint32_t plat_css_core_pos_to_scmi_dmn_id_map[PLATFORM_CORE_COUNT] = { |
| 32 | 0, 1, 2, 3, 4, 5, 6, 7 }; |