From e73b787ca060ac96224ca039b81658aecaee5e46 Mon Sep 17 00:00:00 2001 From: Marina Ciocea <111010340+cdmarina@users.noreply.github.com> Date: Wed, 17 Aug 2022 11:54:27 -0400 Subject: sys/fuchsia: update the thread system calls (#3309) Co-authored-by: Marina Ciocea --- sys/fuchsia/thread.txt | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 sys/fuchsia/thread.txt (limited to 'sys/fuchsia/thread.txt') diff --git a/sys/fuchsia/thread.txt b/sys/fuchsia/thread.txt new file mode 100644 index 000000000..b6db96a6e --- /dev/null +++ b/sys/fuchsia/thread.txt @@ -0,0 +1,16 @@ +# Copyright 2017 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. + +include +include + +resource zx_thread[zx_task] + +zx_thread_exit() +zx_thread_create(process zx_process, name ptr[in, string], name_size len[name], options const[0], out ptr[out, zx_thread]) +zx_thread_start(handle zx_thread, thread_entry ptr[in, text[target]], stack ptr[out, array[int8]], arg1 const[0], arg2 const[0]) +# Note: kind corresponds to ZX_THREAD_STATE_REGSET0..9 constants. +zx_thread_read_state(handle zx_thread, kind int32[0:9], buffer ptr[out, array[int64]], buffer_size bytesize[buffer]) +zx_thread_read_state$0(handle zx_thread, kind const[0], buffer ptr[out, array[int64, 18]], buffer_size bytesize[buffer]) +zx_thread_write_state(handle zx_thread, kind int32[0:9], buffer ptr[in, array[int64]], buffer_size bytesize[buffer]) +zx_thread_write_state$0(handle zx_thread, kind const[0], buffer ptr[in, array[int64, 18]], buffer_size bytesize[buffer]) -- cgit mrf-deployment