| Jeenu Viswambharan | a5acc0a | 2017-09-22 08:32:10 +0100 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (c) 2017, ARM Limited and Contributors. All rights reserved. |
| 3 | * |
| 4 | * SPDX-License-Identifier: BSD-3-Clause |
| 5 | */ |
| 6 | |
| 7 | /* SDEI configuration for ARM platforms */ |
| 8 | |
| 9 | #include <ehf.h> |
| 10 | #include <platform_def.h> |
| 11 | #include <sdei.h> |
| 12 | |
| 13 | /* Private event mappings */ |
| 14 | static sdei_ev_map_t arm_private_sdei[] = { |
| 15 | /* Event 0 */ |
| 16 | SDEI_DEFINE_EVENT_0(ARM_SDEI_SGI), |
| 17 | |
| 18 | /* Dynamic private events */ |
| 19 | SDEI_PRIVATE_EVENT(ARM_SDEI_DP_EVENT_0, SDEI_DYN_IRQ, SDEI_MAPF_DYNAMIC), |
| 20 | SDEI_PRIVATE_EVENT(ARM_SDEI_DP_EVENT_1, SDEI_DYN_IRQ, SDEI_MAPF_DYNAMIC), |
| 21 | SDEI_PRIVATE_EVENT(ARM_SDEI_DP_EVENT_2, SDEI_DYN_IRQ, SDEI_MAPF_DYNAMIC), |
| 22 | }; |
| 23 | |
| 24 | /* Shared event mappings */ |
| 25 | static sdei_ev_map_t arm_shared_sdei[] = { |
| 26 | /* Dynamic shared events */ |
| 27 | SDEI_SHARED_EVENT(ARM_SDEI_DS_EVENT_0, SDEI_DYN_IRQ, SDEI_MAPF_DYNAMIC), |
| 28 | SDEI_SHARED_EVENT(ARM_SDEI_DS_EVENT_1, SDEI_DYN_IRQ, SDEI_MAPF_DYNAMIC), |
| 29 | SDEI_SHARED_EVENT(ARM_SDEI_DS_EVENT_2, SDEI_DYN_IRQ, SDEI_MAPF_DYNAMIC), |
| 30 | }; |
| 31 | |
| 32 | /* Export ARM SDEI events */ |
| 33 | REGISTER_SDEI_MAP(arm_private_sdei, arm_shared_sdei); |