# Copyright 2022 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://cs.opensource.google/fuchsia/fuchsia/+/main:zircon/vdso/ktrace.fidl

include <zircon/syscalls.h>

zx_ktrace_read(handle zx_resource, data ptr[in, array[int8]], offset int32, data_size len[data], actual ptr[out, int64])
zx_ktrace_control(handle zx_resource, action int32, options int32, data ptr[in, array[int8]])
zx_ktrace_write(handle zx_resource, id int32, arg0 int32, arg1 int32)