github.com/google/syzkaller@v0.0.0-20240517125934-c0f1611a36d6/sys/trusty/sys.txt (about) 1 # Copyright 2018 syzkaller project authors. All rights reserved. 2 # Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file. 3 4 # https://android.googlesource.com/trusty/lk/trusty/+/master/lib/trusty/include/syscall_table.h 5 # https://source.android.com/security/trusty/trusty-ref 6 7 include <user/trusty_syscalls.h> 8 9 # Needed for MakeSyzMmap, or need to fix target.MakeDataMmap to use mmap. 10 syz_mmap(addr vma, len len[addr]) 11 12 write(fd int32, msg ptr[in, array[int8]], size len[msg]) 13 brk(brk int32) 14 exit_etc(status int32, flags int32) 15 read(fd int32, msg ptr[out, array[int8]], size len[msg]) 16 ioctl(fd int32, req int32, buf ptr[in, array[int8]]) 17 nanosleep(clock_id int32, flags int32, sleep_time int64) 18 gettime(clock_id int32, flags int32, time ptr[out, int64]) 19 mmap(uaddr vma, size len[uaddr], flags int32, handle int32) 20 munmap(uaddr vma, size len[uaddr]) 21 prepare_dma(uaddr ptr[out, array[int8]], size len[uaddr], flags int32, pmem ptr[in, dma_pmem]) 22 finish_dma(uaddr ptr[out, array[int8]], size len[uaddr], flags int32) 23 24 port_create(path ptr[in, string], num_recv_bufs int32, recv_buf_size int32, flags int32) 25 connect(path ptr[in, string], flags int32) 26 accept(handle_id int32, peer_uuid ptr[out, uuid]) 27 close(handle_id int32) 28 set_cookie(handle int32, cookie intptr) 29 handle_set_create() 30 handle_set_ctrl(handle int32, cmd int32, evt ptr[in, uevent]) 31 32 wait(handle_id int32, event ptr[in, uevent], timeout_msecs int32) 33 wait_any(event ptr[out, uevent], timeout_msecs int32) 34 35 get_msg(handle int32, msg_info ptr[in, ipc_msg_info]) 36 read_msg(handle int32, msg_id int32, offset int32, msg ptr[out, ipc_msg]) 37 put_msg(handle int32, msg_id int32) 38 send_msg(handle int32, msg ptr[in, ipc_msg]) 39 40 dma_pmem { 41 todo int32 42 } 43 44 uuid { 45 todo int32 46 } 47 48 uevent { 49 todo int32 50 } 51 52 ipc_msg_info { 53 todo int32 54 } 55 56 ipc_msg { 57 todo int32 58 }