sdk/banjo/ddk.protocol.tee/tee.banjo

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

library ddk.protocol.tee;

using zx;

[Layout = "ddk-protocol"]
protocol Tee {
    /// Takes the server end of a FIDL connection that'll serve fuchsia.tee.Device.
    ///
    /// If the connection fails, |s| will be a failing status and tee_device_request and
    /// service_provider (if valid) will both be closed.
    ///
    /// The service_provider can be ZX_HANDLE_INVALID if the connection won't be used for any
    /// requests that'll result in filesystem requests from the TEE.  If not ZX_HANDLE_INVALID, the
    /// service provider will be used in serving filesystem requests from the TEE.
    Connect(handle<channel> tee_device_request, handle<channel> service_provider) -> (zx.status s);
};