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