| Peng Fan | 57e982c | 2020-07-27 21:22:14 +0800 | [diff] [blame] | 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); |