1*91f16700Schasinglulu /* SPDX-License-Identifier: BSD-3-Clause */ 2*91f16700Schasinglulu /* 3*91f16700Schasinglulu * Copyright (C) 2024, Charleye <wangkart@aliyun.com> 4*91f16700Schasinglulu * All rights reserved. 5*91f16700Schasinglulu */ 6*91f16700Schasinglulu 7*91f16700Schasinglulu /* SDEI configuration for ARM platforms */ 8*91f16700Schasinglulu 9*91f16700Schasinglulu #include <bl31/ehf.h> 10*91f16700Schasinglulu #include <common/debug.h> 11*91f16700Schasinglulu #include <plat/common/platform.h> 12*91f16700Schasinglulu #include <services/sdei.h> 13*91f16700Schasinglulu 14*91f16700Schasinglulu #include <platform_def.h> 15*91f16700Schasinglulu 16*91f16700Schasinglulu int arm_validate_ns_entrypoint(uintptr_t entrypoint) 17*91f16700Schasinglulu { 18*91f16700Schasinglulu uint64_t base = BL31_BASE; 19*91f16700Schasinglulu uint64_t limit = BL31_LIMIT; 20*91f16700Schasinglulu 21*91f16700Schasinglulu return (entrypoint < base || entrypoint > limit) ? 0 : -1; 22*91f16700Schasinglulu } 23*91f16700Schasinglulu 24*91f16700Schasinglulu /* Private event mappings */ 25*91f16700Schasinglulu static sdei_ev_map_t lua_sdei_private[] = { 26*91f16700Schasinglulu SDEI_DEFINE_EVENT_0(LUA_SDEI_SGI_PRIVATE), 27*91f16700Schasinglulu SDEI_EXPLICIT_EVENT(5001, SDEI_MAPF_NORMAL), 28*91f16700Schasinglulu }; 29*91f16700Schasinglulu 30*91f16700Schasinglulu /* Shared event mappings */ 31*91f16700Schasinglulu static sdei_ev_map_t lua_sdei_shared[] = { 32*91f16700Schasinglulu }; 33*91f16700Schasinglulu 34*91f16700Schasinglulu void plat_sdei_setup(void) 35*91f16700Schasinglulu { 36*91f16700Schasinglulu INFO("SDEI platform setup\n"); 37*91f16700Schasinglulu } 38*91f16700Schasinglulu 39*91f16700Schasinglulu /* Export ARM SDEI events */ 40*91f16700Schasinglulu REGISTER_SDEI_MAP(lua_sdei_private, lua_sdei_shared);