1 /*
2  * Copyright (c) 2017-2020, ARM Limited and Contributors. All rights reserved.
3  * Copyright 2020 NXP
4  *
5  * SPDX-License-Identifier: BSD-3-Clause
6  */
7 
8 /* SDEI configuration for ARM platforms */
9 
10 #include <bl31/ehf.h>
11 #include <common/debug.h>
12 #include <services/sdei.h>
13 #include <lib/utils_def.h>
14 
15 #include <platform_def.h>
16 
17 /* Private event mappings */
18 static sdei_ev_map_t imx_sdei_private[] = {
19 	SDEI_DEFINE_EVENT_0(PLAT_SDEI_SGI_PRIVATE),
20 };
21 
22 /* Shared event mappings */
23 static sdei_ev_map_t imx_sdei_shared[] = {
24 };
25 
plat_sdei_setup(void)26 void plat_sdei_setup(void)
27 {
28 	INFO("SDEI platform setup\n");
29 }
30 
31 /* Export ARM SDEI events */
32 REGISTER_SDEI_MAP(imx_sdei_private, imx_sdei_shared);
33