/* | |
* Copyright 2020 NXP | |
* | |
* SPDX-License-Identifier: BSD-3-Clause | |
*/ | |
#include <bl31/ehf.h> | |
#include <platform_def.h> | |
ehf_pri_desc_t imx_exceptions[] = { | |
#if SDEI_SUPPORT | |
/* Critical priority SDEI */ | |
EHF_PRI_DESC(PLAT_PRI_BITS, PLAT_SDEI_CRITICAL_PRI), | |
/* Normal priority SDEI */ | |
EHF_PRI_DESC(PLAT_PRI_BITS, PLAT_SDEI_NORMAL_PRI), | |
#endif | |
}; | |
/* Plug in ARM exceptions to Exception Handling Framework. */ | |
EHF_REGISTER_PRIORITIES(imx_exceptions, ARRAY_SIZE(imx_exceptions), PLAT_PRI_BITS); |