// 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")
@banjo_layout("ddk-protocol")
protocol Iommu {
    GetBti(struct {
        iommu_index uint32;
        bti_id uint32;
    }) -> (resource struct {
        s zx.status;
        handle zx.handle:BTI;
    });
};