1 /*
2  * Copyright (c) 2019-2020, ARM Limited and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #ifndef FCONF_SDEI_GETTER_H
8 #define FCONF_SDEI_GETTER_H
9 
10 #include <lib/fconf/fconf.h>
11 
12 #include <platform_def.h>
13 
14 #define sdei__dyn_config_getter(id)	sdei_dyn_config.id
15 
16 struct sdei_dyn_config_t {
17 	uint32_t private_ev_cnt;
18 	int32_t private_ev_nums[PLAT_SDEI_DP_EVENT_MAX_CNT];
19 	unsigned int private_ev_intrs[PLAT_SDEI_DP_EVENT_MAX_CNT];
20 	unsigned int private_ev_flags[PLAT_SDEI_DP_EVENT_MAX_CNT];
21 	uint32_t shared_ev_cnt;
22 	int32_t shared_ev_nums[PLAT_SDEI_DS_EVENT_MAX_CNT];
23 	unsigned int shared_ev_intrs[PLAT_SDEI_DS_EVENT_MAX_CNT];
24 	unsigned int shared_ev_flags[PLAT_SDEI_DS_EVENT_MAX_CNT];
25 };
26 
27 int fconf_populate_sdei_dyn_config(uintptr_t config);
28 
29 extern struct sdei_dyn_config_t sdei_dyn_config;
30 
31 #endif /* FCONF_SDEI_GETTER_H */
32