1 /* 2 * Arm SCP/MCP Software 3 * Copyright (c) 2018-2021, Arm Limited and Contributors. All rights reserved. 4 * 5 * SPDX-License-Identifier: BSD-3-Clause 6 */ 7 8 #ifndef CONFIG_POWER_DOMAIN_H 9 #define CONFIG_POWER_DOMAIN_H 10 11 #include <stdint.h> 12 /* 13 * Power domain indices for the statically defined domains used for: 14 * - Indexing the domains in the sgi575_power_domain_static_element_table 15 * - Indexing the SYSTOP children in the power domain tree 16 * 17 * When calculating a power domain element index, use the formula: 18 * core_count + cluster_count + pd_static_dev_idx 19 */ 20 enum pd_static_dev_idx { 21 PD_STATIC_DEV_IDX_DBGTOP, 22 PD_STATIC_DEV_IDX_SYSTOP, 23 PD_STATIC_DEV_IDX_NONE = UINT32_MAX 24 }; 25 26 #endif /* CONFIG_POWER_DOMAIN_H */ 27