| 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 | |
| Jeenu Viswambharan | a5acc0a | 2017-09-22 08:32:10 +0100 | [diff] [blame] | 9 | #include <platform_def.h> |
| Antonio Nino Diaz | e0f9063 | 2018-12-14 00:18:21 +0000 | [diff] [blame] | 10 | |
| 11 | #include <bl31/ehf.h> |
| 12 | #include <services/sdei.h> |
| Jeenu Viswambharan | a5acc0a | 2017-09-22 08:32:10 +0100 | [diff] [blame] | 13 | |
| 14 | /* Private event mappings */ |
| Jeenu Viswambharan | 6e28446 | 2017-12-08 10:38:24 +0000 | [diff] [blame] | 15 | static sdei_ev_map_t arm_sdei_private[] = { |
| 16 | PLAT_ARM_PRIVATE_SDEI_EVENTS |
| Jeenu Viswambharan | a5acc0a | 2017-09-22 08:32:10 +0100 | [diff] [blame] | 17 | }; |
| 18 | |
| 19 | /* Shared event mappings */ |
| Jeenu Viswambharan | 6e28446 | 2017-12-08 10:38:24 +0000 | [diff] [blame] | 20 | static sdei_ev_map_t arm_sdei_shared[] = { |
| 21 | PLAT_ARM_SHARED_SDEI_EVENTS |
| Jeenu Viswambharan | a5acc0a | 2017-09-22 08:32:10 +0100 | [diff] [blame] | 22 | }; |
| 23 | |
| 24 | /* Export ARM SDEI events */ |
| Jeenu Viswambharan | 6e28446 | 2017-12-08 10:38:24 +0000 | [diff] [blame] | 25 | REGISTER_SDEI_MAP(arm_sdei_private, arm_sdei_shared); |