Jeenu Viswambharan | b183745 | 2017-10-24 11:47:13 +0100 | [diff] [blame] | 1 | /* |
Jeenu Viswambharan | a5b5b8d | 2018-02-06 12:21:39 +0000 | [diff] [blame] | 2 | * Copyright (c) 2017-2018, ARM Limited and Contributors. All rights reserved. |
Jeenu Viswambharan | b183745 | 2017-10-24 11:47:13 +0100 | [diff] [blame] | 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | */ |
| 6 | |
Jeenu Viswambharan | b183745 | 2017-10-24 11:47:13 +0100 | [diff] [blame] | 7 | #include <platform_def.h> |
| 8 | |
Antonio Nino Diaz | e0f9063 | 2018-12-14 00:18:21 +0000 | [diff] [blame^] | 9 | #include <bl31/ehf.h> |
| 10 | |
Jeenu Viswambharan | b183745 | 2017-10-24 11:47:13 +0100 | [diff] [blame] | 11 | /* |
| 12 | * Enumeration of priority levels on ARM platforms. |
| 13 | */ |
| 14 | ehf_pri_desc_t arm_exceptions[] = { |
Jeenu Viswambharan | a5b5b8d | 2018-02-06 12:21:39 +0000 | [diff] [blame] | 15 | #if RAS_EXTENSION |
| 16 | /* RAS Priority */ |
| 17 | EHF_PRI_DESC(ARM_PRI_BITS, PLAT_RAS_PRI), |
| 18 | #endif |
| 19 | |
Jeenu Viswambharan | b183745 | 2017-10-24 11:47:13 +0100 | [diff] [blame] | 20 | #if SDEI_SUPPORT |
| 21 | /* Critical priority SDEI */ |
| 22 | EHF_PRI_DESC(ARM_PRI_BITS, PLAT_SDEI_CRITICAL_PRI), |
| 23 | |
| 24 | /* Normal priority SDEI */ |
| 25 | EHF_PRI_DESC(ARM_PRI_BITS, PLAT_SDEI_NORMAL_PRI), |
| 26 | #endif |
Sughosh Ganu | d284b57 | 2018-11-14 10:42:46 +0530 | [diff] [blame] | 27 | #if ENABLE_SPM |
| 28 | EHF_PRI_DESC(ARM_PRI_BITS, PLAT_SP_PRI), |
| 29 | #endif |
Jeenu Viswambharan | b183745 | 2017-10-24 11:47:13 +0100 | [diff] [blame] | 30 | }; |
| 31 | |
| 32 | /* Plug in ARM exceptions to Exception Handling Framework. */ |
| 33 | EHF_REGISTER_PRIORITIES(arm_exceptions, ARRAY_SIZE(arm_exceptions), ARM_PRI_BITS); |