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

include <zircon/syscalls.h>

resource zx_log[zx_handle]

zx_debuglog_create(resource_ zx_resource, options flags[debuglog_create_options], out ptr[out, zx_log])
zx_debuglog_write(handle zx_log, options const[0], buffer ptr[in, array[int8]], buffer_size len[buffer])
zx_debuglog_read(handle zx_log, options const[0], buffer ptr[out, array[int8]], buffer_size len[buffer])

debuglog_create_options = ZX_LOG_FLAG_READABLE