# 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/debug.fidl

include <zircon/syscalls.h>

zx_debug_read(handle zx_resource, buffer ptr[in, array[int8]], buffer_size len[buffer], actual ptr[out, int32])
zx_debug_write(buffer ptr[in, array[int8]], buffer_size len[buffer])
zx_debug_send_command(resource_ zx_resource, buffer ptr[in, array[int8]], buffer_size len[buffer])
