| /* |
| * Copyright (c) 2025, Texas Instruments Incorporated - https://www.ti.com/ |
| * |
| * SPDX-License-Identifier: BSD-3-Clause |
| */ |
| |
| #include <lib/psci/psci.h> |
| |
| #include <platform_def.h> |
| |
| /* The power domain tree descriptor */ |
| static unsigned char power_domain_tree_desc[] = { |
| PLATFORM_SYSTEM_COUNT, |
| PLATFORM_CLUSTER_COUNT, |
| K3_CLUSTER0_CORE_COUNT, |
| }; |
| |
| const unsigned char *plat_get_power_domain_tree_desc(void) |
| { |
| return power_domain_tree_desc; |
| } |
| |
| int plat_core_pos_by_mpidr(u_register_t mpidr) |
| { |
| unsigned int core = MPIDR_AFFLVL0_VAL(mpidr); |
| |
| if (MPIDR_AFFLVL3_VAL(mpidr) > 0 || |
| MPIDR_AFFLVL2_VAL(mpidr) > 0) { |
| return -1; |
| } |
| |
| return core; |
| } |