1 /*
2  * Arm SCP/MCP Software
3  * Copyright (c) 2022, 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 /*
14  * Power domain indices for the statically defined domains used for:
15  * - Indexing the domains in the tc2_power_domain_static_element_table
16  * - Indexing the SYSTOP children in the power domain tree
17  *
18  * When calculating a power domain element index, use the formula:
19  * core_count + cluster_count + pd_static_dev_idx
20  */
21 enum pd_static_dev_idx {
22     PD_STATIC_DEV_IDX_SYSTOP,
23     PD_STATIC_DEV_IDX_COUNT,
24     PD_STATIC_DEV_IDX_NONE = UINT32_MAX
25 };
26 
27 #endif /* CONFIG_POWER_DOMAIN_H */
28