// Copyright 2019 The Fuchsia Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

// TODO(fxb/39732): This should be read as "library zx".
library zz;

[Transport = "Syscall"]
protocol iommu {
    /// Create a new IOMMU object in the kernel.
    /// Rights: resource must have resource kind ZX_RSRC_KIND_ROOT.
    iommu_create(handle<resource> resource, uint32 type, vector_void desc)
        -> (status status, handle<iommu> out);
};