1// Copyright 2018 The Fuchsia Authors. All rights reserved. 2// Use of this source code is governed by a BSD-style license that can be 3// found in the LICENSE file. 4 5#include <ddk/binding.h> 6#include <ddk/device.h> 7#include <ddk/driver.h> 8#include <ddk/protocol/platform-defs.h> 9 10extern zx_status_t optee_bind(void*, zx_device_t*); 11 12static zx_driver_ops_t optee_driver_ops = { 13 .version = DRIVER_OPS_VERSION, 14 .bind = optee_bind, 15}; 16 17// clang-format off 18ZIRCON_DRIVER_BEGIN(optee, optee_driver_ops, "zircon", "0.1", 4) 19 BI_ABORT_IF(NE, BIND_PROTOCOL, ZX_PROTOCOL_PLATFORM_DEV), 20 BI_ABORT_IF(NE, BIND_PLATFORM_DEV_VID, PDEV_VID_GENERIC), 21 BI_ABORT_IF(NE, BIND_PLATFORM_DEV_PID, PDEV_PID_GENERIC), 22 BI_MATCH_IF(EQ, BIND_PLATFORM_DEV_DID, PDEV_DID_OPTEE), 23ZIRCON_DRIVER_END(optee) 24// clang-format on 25