1 /* 2 * Copyright (c) 2017-2020, ARM Limited and Contributors. All rights reserved. 3 * Copyright (c) Siemens AG, 2020-2021 4 * 5 * SPDX-License-Identifier: BSD-3-Clause 6 */ 7 8 /* SDEI configuration for ARM platforms */ 9 10 #include <bl31/ehf.h> 11 #include <common/debug.h> 12 #include <services/sdei.h> 13 14 #include <plat/common/platform.h> 15 #include <platform_def.h> 16 arm_validate_ns_entrypoint(uintptr_t entrypoint)17int arm_validate_ns_entrypoint(uintptr_t entrypoint) 18 { 19 return (entrypoint < BL31_BASE || entrypoint > BL31_LIMIT) ? 0 : -1; 20 } 21 22 /* Private event mappings */ 23 static sdei_ev_map_t zynqmp_sdei_private[] = { 24 SDEI_DEFINE_EVENT_0(ZYNQMP_SDEI_SGI_PRIVATE), 25 }; 26 27 /* Shared event mappings */ 28 static sdei_ev_map_t zynqmp_sdei_shared[] = { 29 }; 30 plat_sdei_setup(void)31void plat_sdei_setup(void) 32 { 33 INFO("SDEI platform setup\n"); 34 } 35 36 /* Export ARM SDEI events */ 37 REGISTER_SDEI_MAP(zynqmp_sdei_private, zynqmp_sdei_shared); 38