// 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")
closed protocol Iommu {
    strict GetBti(struct {
        iommu_index uint32;
        bti_id uint32;
    }) -> (resource struct {
        s zx.Status;
        handle zx.Handle:BTI;
    });
};