/*
 * Copyright (c) 2019-2020, ARM Limited and Contributors. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef FCONF_SDEI_GETTER_H
#define FCONF_SDEI_GETTER_H

#include <lib/fconf/fconf.h>

#include <platform_def.h>

#define sdei__dyn_config_getter(id)	sdei_dyn_config.id

struct sdei_dyn_config_t {
	uint32_t private_ev_cnt;
	int32_t private_ev_nums[PLAT_SDEI_DP_EVENT_MAX_CNT];
	unsigned int private_ev_intrs[PLAT_SDEI_DP_EVENT_MAX_CNT];
	unsigned int private_ev_flags[PLAT_SDEI_DP_EVENT_MAX_CNT];
	uint32_t shared_ev_cnt;
	int32_t shared_ev_nums[PLAT_SDEI_DS_EVENT_MAX_CNT];
	unsigned int shared_ev_intrs[PLAT_SDEI_DS_EVENT_MAX_CNT];
	unsigned int shared_ev_flags[PLAT_SDEI_DS_EVENT_MAX_CNT];
};

int fconf_populate_sdei_dyn_config(uintptr_t config);

extern struct sdei_dyn_config_t sdei_dyn_config;

#endif /* FCONF_SDEI_GETTER_H */