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_sdei_private[] = { 15 PLAT_ARM_PRIVATE_SDEI_EVENTS 16 }; 17 18 /* Shared event mappings */ 19 static sdei_ev_map_t arm_sdei_shared[] = { 20 PLAT_ARM_SHARED_SDEI_EVENTS 21 }; 22 23 /* Export ARM SDEI events */ 24 REGISTER_SDEI_MAP(arm_sdei_private, arm_sdei_shared); 25