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