1 /*
2  * Copyright (c) 2023, 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 <bl31/ehf.h>
10 #include <common/debug.h>
11 #include <lib/utils_def.h>
12 #include <services/sdei.h>
13 #include <platform_def.h>
14 
15 /* Private event mappings */
16 static sdei_ev_map_t qemu_sdei_private[] = {
17 	SDEI_DEFINE_EVENT_0(PLAT_SDEI_SGI_PRIVATE),
18 };
19 
20 /* Shared event mappings */
21 static sdei_ev_map_t qemu_sdei_shared[] = {
22 };
23 
plat_sdei_setup(void)24 void plat_sdei_setup(void)
25 {
26 	INFO("SDEI platform setup\n");
27 }
28 
29 /* Export Arm SDEI events */
30 REGISTER_SDEI_MAP(qemu_sdei_private, qemu_sdei_shared);
31