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 <platform_def.h> 10 11 #include <bl31/ehf.h> 12 #include <services/sdei.h> 13 14 /* Private event mappings */ 15 static sdei_ev_map_t arm_sdei_private[] = { 16 PLAT_ARM_PRIVATE_SDEI_EVENTS 17 }; 18 19 /* Shared event mappings */ 20 static sdei_ev_map_t arm_sdei_shared[] = { 21 PLAT_ARM_SHARED_SDEI_EVENTS 22 }; 23 24 /* Export ARM SDEI events */ 25 REGISTER_SDEI_MAP(arm_sdei_private, arm_sdei_shared); 26