1 /*
2  * Arm SCP/MCP Software
3  * Copyright (c) 2023-2024, Arm Limited and Contributors. All rights reserved.
4  *
5  * SPDX-License-Identifier: BSD-3-Clause
6  */
7 
8 #ifndef TEST_FWK_MODULE_MODULE_IDX_H
9 #define TEST_FWK_MODULE_MODULE_IDX_H
10 
11 #include <fwk_id.h>
12 
13 enum fwk_module_idx {
14     FWK_MODULE_IDX_PPU_V1,
15     FWK_MODULE_IDX_POWER_DOMAIN,
16     FWK_MODULE_IDX_TIMER,
17     FWK_MODULE_IDX_COUNT,
18 };
19 
20 static const fwk_id_t fwk_module_id_ppu_v1 =
21     FWK_ID_MODULE_INIT(FWK_MODULE_IDX_PPU_V1);
22 
23 static const fwk_id_t fwk_module_id_power_domain =
24     FWK_ID_MODULE_INIT(FWK_MODULE_IDX_POWER_DOMAIN);
25 
26 static const fwk_id_t fwk_module_id_timer =
27     FWK_ID_MODULE_INIT(FWK_MODULE_IDX_TIMER);
28 
29 #endif /* TEST_FWK_MODULE_MODULE_IDX_H */
30