1*8567103eSPeng Fan /* 2*8567103eSPeng Fan * Copyright 2020 NXP 3*8567103eSPeng Fan * 4*8567103eSPeng Fan * SPDX-License-Identifier: BSD-3-Clause 5*8567103eSPeng Fan */ 6*8567103eSPeng Fan 7*8567103eSPeng Fan #include <bl31/ehf.h> 8*8567103eSPeng Fan 9*8567103eSPeng Fan #include <platform_def.h> 10*8567103eSPeng Fan 11*8567103eSPeng Fan ehf_pri_desc_t imx_exceptions[] = { 12*8567103eSPeng Fan #if SDEI_SUPPORT 13*8567103eSPeng Fan /* Critical priority SDEI */ 14*8567103eSPeng Fan EHF_PRI_DESC(PLAT_PRI_BITS, PLAT_SDEI_CRITICAL_PRI), 15*8567103eSPeng Fan 16*8567103eSPeng Fan /* Normal priority SDEI */ 17*8567103eSPeng Fan EHF_PRI_DESC(PLAT_PRI_BITS, PLAT_SDEI_NORMAL_PRI), 18*8567103eSPeng Fan #endif 19*8567103eSPeng Fan }; 20*8567103eSPeng Fan 21*8567103eSPeng Fan /* Plug in ARM exceptions to Exception Handling Framework. */ 22*8567103eSPeng Fan EHF_REGISTER_PRIORITIES(imx_exceptions, ARRAY_SIZE(imx_exceptions), PLAT_PRI_BITS); 23