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); 34