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/platform-defs.h>
9 
10 extern zx_status_t optee_bind(void*, zx_device_t*);
11 
12 static zx_driver_ops_t optee_driver_ops = {
13     .version = DRIVER_OPS_VERSION,
14     .bind = optee_bind,
15 };
16 
17 // clang-format off
18 ZIRCON_DRIVER_BEGIN(optee, optee_driver_ops, "zircon", "0.1", 4)
19     BI_ABORT_IF(NE, BIND_PROTOCOL, ZX_PROTOCOL_PDEV),
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),
23 ZIRCON_DRIVER_END(optee)
24 // clang-format on
25