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 synquacer_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 + pd_static_dev_idx
19  */
20 enum pd_static_dev_idx {
21     PD_STATIC_DEV_IDX_CHILD_SYS3,
22     PD_STATIC_DEV_IDX_CHILD_SYS1,
23     PD_STATIC_DEV_IDX_CHILD_SYS2,
24     /* PPU_SYS4 is managed by romfw */
25     PD_STATIC_DEV_IDX_CHILD_DEBUG,
26     PD_STATIC_DEV_IDX_SYSTOP,
27 
28     PD_STATIC_DEV_IDX_NONE = UINT32_MAX
29 };
30 
31 #endif /* CONFIG_POWER_DOMAIN_H */
32