1 /* SPDX-License-Identifier: BSD-3-Clause */ 2 /* 3 * Copyright (C) 2024, Charleye <wangkart@aliyun.com> 4 * All rights reserved. 5 */ 6 7 #ifndef LUA_DEF_H 8 #define LUA_DEF_H 9 10 #define PLATFORM_NAME "Laguna Virtual Platform" 11 12 unsigned int lua_calc_core_pos(u_register_t mpidr); 13 void lua_console_init(void); 14 void plat_lua_gic_init(void); 15 void lua_pwr_gic_on_finish(void); 16 void lua_pwr_gic_off(void); 17 18 #endif /* LUA_DEF_H */