1 /* 2 * Copyright (C) 2022 Huawei Technologies Co., Ltd. 3 * Licensed under the Mulan PSL v2. 4 * You can use this software according to the terms and conditions of the Mulan PSL v2. 5 * You may obtain a copy of Mulan PSL v2 at: 6 * http://license.coscl.org.cn/MulanPSL2 7 * THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, EITHER EXPRESS OR 8 * IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, MERCHANTABILITY OR FIT FOR A PARTICULAR 9 * PURPOSE. 10 * See the Mulan PSL v2 for more details. 11 */ 12 13 #ifndef TEED_COMMON_H 14 #define TEED_COMMON_H 15 16 #include <teed_private.h> 17 18 void teed_init_tee_ep_state(struct entry_point_info *tee_entry_point, 19 uint32_t rw, 20 uintptr_t pc, 21 tee_context_t *tee_ctx); 22 23 uint64_t teed_synchronous_sp_entry(tee_context_t *tee_ctx); 24 25 void __dead2 teed_synchronous_sp_exit(const tee_context_t *tee_ctx, uint64_t ret); 26 27 #endif 28