1 /*
2 * Copyright (c) 2023 Institute of Parallel And Distributed Systems (IPADS), Shanghai Jiao Tong University (SJTU)
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 #include "teecall.h"
13 #include <assert.h>
14 #include <stdio.h>
15 #include <chcore/syscall.h>
16
tee_pull_kernel_variables(const kernel_shared_varibles_t * pVar)17 int32_t tee_pull_kernel_variables(const kernel_shared_varibles_t *pVar)
18 {
19 return usys_tee_pull_kernel_var((unsigned long)pVar);
20 }
21
tee_push_rdr_update_addr(uint64_t addr,uint32_t size,bool is_cache_mem,const char * chip_type_buff,uint32_t buff_len)22 void tee_push_rdr_update_addr(uint64_t addr, uint32_t size, bool is_cache_mem,
23 const char *chip_type_buff, uint32_t buff_len)
24 {
25 (void)usys_tee_push_rdr_update_addr(
26 addr, size, is_cache_mem, chip_type_buff, buff_len);
27 }
28
debug_rdr_logitem(char * str,size_t str_len)29 int debug_rdr_logitem(char *str, size_t str_len)
30 {
31 return usys_debug_rdr_logitem(str, str_len);
32 }
33
teecall_cap_time_sync(uint32_t seconds,uint32_t mills)34 int32_t teecall_cap_time_sync(uint32_t seconds, uint32_t mills)
35 {
36 printf("%s not implemented!\n", __func__);
37 return 0;
38 }