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