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 SYSCALL_SYSCALL_HOOKS_H 13 #define SYSCALL_SYSCALL_HOOKS_H 14 15 #include <common/types.h> 16 17 /* sys_create_device_pmo is provided for user-level drivers only. */ 18 int hook_sys_create_device_pmo(unsigned long paddr, unsigned long size); 19 int hook_sys_get_phys_addr(vaddr_t va, paddr_t *pa_buf); 20 int hook_sys_create_cap_group(unsigned long cap_group_args_p); 21 int hook_sys_register_recycle(cap_t notifc_cap, vaddr_t msg_buffer); 22 int hook_sys_cap_group_recycle(cap_t cap_group_cap); 23 24 #endif /* SYSCALL_SYSCALL_HOOKS_H */