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