14143268aSJan Kiszka /* 2*619bc13eSMichal Simek * Copyright (c) 2017-2020, Arm Limited and Contributors. All rights reserved. 34143268aSJan Kiszka * Copyright (c) Siemens AG, 2020-2021 44143268aSJan Kiszka * 54143268aSJan Kiszka * SPDX-License-Identifier: BSD-3-Clause 64143268aSJan Kiszka */ 74143268aSJan Kiszka 84143268aSJan Kiszka /* SDEI configuration for ARM platforms */ 94143268aSJan Kiszka 104143268aSJan Kiszka #include <bl31/ehf.h> 114143268aSJan Kiszka #include <common/debug.h> 124143268aSJan Kiszka #include <services/sdei.h> 134143268aSJan Kiszka 144143268aSJan Kiszka #include <plat/common/platform.h> 154143268aSJan Kiszka #include <platform_def.h> 164143268aSJan Kiszka 174143268aSJan Kiszka int arm_validate_ns_entrypoint(uintptr_t entrypoint) 184143268aSJan Kiszka { 194143268aSJan Kiszka return (entrypoint < BL31_BASE || entrypoint > BL31_LIMIT) ? 0 : -1; 204143268aSJan Kiszka } 214143268aSJan Kiszka 224143268aSJan Kiszka /* Private event mappings */ 234143268aSJan Kiszka static sdei_ev_map_t zynqmp_sdei_private[] = { 244143268aSJan Kiszka SDEI_DEFINE_EVENT_0(ZYNQMP_SDEI_SGI_PRIVATE), 254143268aSJan Kiszka }; 264143268aSJan Kiszka 274143268aSJan Kiszka /* Shared event mappings */ 284143268aSJan Kiszka static sdei_ev_map_t zynqmp_sdei_shared[] = { 294143268aSJan Kiszka }; 304143268aSJan Kiszka 314143268aSJan Kiszka void plat_sdei_setup(void) 324143268aSJan Kiszka { 334143268aSJan Kiszka INFO("SDEI platform setup\n"); 344143268aSJan Kiszka } 354143268aSJan Kiszka 364143268aSJan Kiszka /* Export ARM SDEI events */ 374143268aSJan Kiszka REGISTER_SDEI_MAP(zynqmp_sdei_private, zynqmp_sdei_shared); 38