xref: /rk3399_ARM-atf/plat/qemu/common/qemu_sdei.c (revision 2bb8755922f277362f9b75715ca5e90f3137f537) 
1*cef76a7cSDongjiu Geng /*
2*cef76a7cSDongjiu Geng  * Copyright (c) 2023, ARM Limited and Contributors. All rights reserved.
3*cef76a7cSDongjiu Geng  *
4*cef76a7cSDongjiu Geng  * SPDX-License-Identifier: BSD-3-Clause
5*cef76a7cSDongjiu Geng  */
6*cef76a7cSDongjiu Geng 
7*cef76a7cSDongjiu Geng /* SDEI configuration for ARM platforms */
8*cef76a7cSDongjiu Geng 
9*cef76a7cSDongjiu Geng #include <bl31/ehf.h>
10*cef76a7cSDongjiu Geng #include <common/debug.h>
11*cef76a7cSDongjiu Geng #include <lib/utils_def.h>
12*cef76a7cSDongjiu Geng #include <services/sdei.h>
13*cef76a7cSDongjiu Geng #include <platform_def.h>
14*cef76a7cSDongjiu Geng 
15*cef76a7cSDongjiu Geng /* Private event mappings */
16*cef76a7cSDongjiu Geng static sdei_ev_map_t qemu_sdei_private[] = {
17*cef76a7cSDongjiu Geng 	SDEI_DEFINE_EVENT_0(PLAT_SDEI_SGI_PRIVATE),
18*cef76a7cSDongjiu Geng };
19*cef76a7cSDongjiu Geng 
20*cef76a7cSDongjiu Geng /* Shared event mappings */
21*cef76a7cSDongjiu Geng static sdei_ev_map_t qemu_sdei_shared[] = {
22*cef76a7cSDongjiu Geng };
23*cef76a7cSDongjiu Geng 
plat_sdei_setup(void)24*cef76a7cSDongjiu Geng void plat_sdei_setup(void)
25*cef76a7cSDongjiu Geng {
26*cef76a7cSDongjiu Geng 	INFO("SDEI platform setup\n");
27*cef76a7cSDongjiu Geng }
28*cef76a7cSDongjiu Geng 
29*cef76a7cSDongjiu Geng /* Export Arm SDEI events */
30*cef76a7cSDongjiu Geng REGISTER_SDEI_MAP(qemu_sdei_private, qemu_sdei_shared);
31