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