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

include <zircon/syscalls.h>
include <zircon/syscalls/resource.h>

resource zx_resource[zx_handle]

zx_resource_create(parent_rsrc zx_handle, options flags[res_create_options], base int64, size int64, name ptr[in, array[int8]], name_size len[name], resource_out ptr[out, zx_resource])

res_create_options = ZX_RSRC_KIND_MMIO, ZX_RSRC_KIND_IRQ, ZX_RSRC_KIND_IOPORT, ZX_RSRC_KIND_ROOT, ZX_RSRC_KIND_HYPERVISOR, ZX_RSRC_KIND_VMEX, ZX_RSRC_KIND_SMC