# 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.

# See https://fuchsia.googlesource.com/fuchsia/+/master/zircon/docs/syscalls.md

include <zircon/syscalls.h>
include <ddk/driver.h>

syz_execute_func(text ptr[in, text[target]]) (disabled)

# Provided by sysroot (include/ddk/driver.h)
resource zx_root_resource[zx_handle]
get_root_resource() zx_root_resource

# Used by syzkaller to allocate memory for syscall arguments.
syz_mmap(addr vma, len len[addr])

# Provided by process runtime (zircon/process.h).
syz_process_self() zx_process
syz_thread_self() zx_thread
syz_vmar_root_self() zx_vmar
syz_job_default() zx_job