// Copyright 2018 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.

library fuchsia.hardware.iommu;

using zx;

[Transport = "Banjo", BanjoLayout = "ddk-protocol"]
protocol Iommu {
    GetBti(uint32 iommu_index, uint32 bti_id) -> (zx.status s, zx.handle:BTI handle);
};