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

include <zircon/syscalls.h>

resource zx_iommu[zx_handle]

zx_iommu_create(handle zx_resource, type flags[iommu_create_type], desc ptr[in, array[int8]], size len[desc], out_handle ptr[out, zx_iommu])

iommu_create_type = ZX_IOMMU_TYPE_DUMMY
