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