// 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; | |
}); | |
}; |