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 rdn1e1_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