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