# Copyright 2018 syzkaller project authors. All rights reserved.
# Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file.

# https://android.googlesource.com/trusty/lk/trusty/+/master/lib/trusty/include/syscall_table.h
# https://source.android.com/security/trusty/trusty-ref

include <user/trusty_syscalls.h>

# Needed for MakeSyzMmap, or need to fix target.MakeDataMmap to use mmap.
syz_mmap(addr vma, len len[addr])

write(fd int32, msg ptr[in, array[int8]], size len[msg])
brk(brk int32)
exit_etc(status int32, flags int32)
read(fd int32, msg ptr[out, array[int8]], size len[msg])
ioctl(fd int32, req int32, buf ptr[in, array[int8]])
nanosleep(clock_id int32, flags int32, sleep_time int64)
gettime(clock_id int32, flags int32, time ptr[out, int64])
mmap(uaddr vma, size len[uaddr], flags int32, handle int32)
munmap(uaddr vma, size len[uaddr])
prepare_dma(uaddr ptr[out, array[int8]], size len[uaddr], flags int32, pmem ptr[in, dma_pmem])
finish_dma(uaddr ptr[out, array[int8]], size len[uaddr], flags int32)

port_create(path ptr[in, string], num_recv_bufs int32, recv_buf_size int32, flags int32)
connect(path ptr[in, string], flags int32)
accept(handle_id int32, peer_uuid ptr[out, uuid])
close(handle_id int32)
set_cookie(handle int32, cookie intptr)
handle_set_create()
handle_set_ctrl(handle int32, cmd int32, evt ptr[in, uevent])

wait(handle_id int32, event ptr[in, uevent], timeout_msecs int32)
wait_any(event ptr[out, uevent], timeout_msecs int32)

get_msg(handle int32, msg_info ptr[in, ipc_msg_info])
read_msg(handle int32, msg_id int32, offset int32, msg ptr[out, ipc_msg])
put_msg(handle int32, msg_id int32)
send_msg(handle int32, msg ptr[in, ipc_msg])

dma_pmem {
	todo	int32
}

uuid {
	todo	int32
}

uevent {
	todo	int32
}

ipc_msg_info {
	todo	int32
}

ipc_msg {
	todo	int32
}