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 #ifndef OH_MEM_OPS_H 13 #define OH_MEM_OPS_H 14 15 #include <chcore/ipc.h> 16 #include <chcore-internal/procmgr_defs.h> 17 18 void oh_mem_ops_init(void); 19 20 void handle_task_map_ns(ipc_msg_t *ipc_msg, badge_t badge); 21 void handle_task_unmap_ns(ipc_msg_t *ipc_msg, badge_t badge); 22 23 void handle_tee_alloc_sharemem(ipc_msg_t *ipc_msg, badge_t badge); 24 void handle_tee_get_sharemem(ipc_msg_t *ipc_msg, badge_t badge); 25 void handle_tee_free_sharemem(ipc_msg_t *ipc_msg, badge_t badge); 26 27 void clean_sharemem(badge_t badge); 28 29 #endif /* OH_MEM_OPS_H */ 30