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