| 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 */ |
| Jeenu Viswambharan | 6e28446 | 2017-12-08 10:38:24 +0000 | [diff] [blame] | 14 | static sdei_ev_map_t arm_sdei_private[] = { |
| 15 | PLAT_ARM_PRIVATE_SDEI_EVENTS |
| Jeenu Viswambharan | a5acc0a | 2017-09-22 08:32:10 +0100 | [diff] [blame] | 16 | }; |
| 17 | |
| 18 | /* Shared event mappings */ |
| Jeenu Viswambharan | 6e28446 | 2017-12-08 10:38:24 +0000 | [diff] [blame] | 19 | static sdei_ev_map_t arm_sdei_shared[] = { |
| 20 | PLAT_ARM_SHARED_SDEI_EVENTS |
| Jeenu Viswambharan | a5acc0a | 2017-09-22 08:32:10 +0100 | [diff] [blame] | 21 | }; |
| 22 | |
| 23 | /* Export ARM SDEI events */ |
| Jeenu Viswambharan | 6e28446 | 2017-12-08 10:38:24 +0000 | [diff] [blame] | 24 | REGISTER_SDEI_MAP(arm_sdei_private, arm_sdei_shared); |