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

using fuchsia.platform;
using fuchsia.amlogic.platform;
using fuchsia.devicetree;

if fuchsia.BIND_PLATFORM_DEV_VID == fuchsia.platform.BIND_PLATFORM_DEV_VID.GENERIC {
  fuchsia.BIND_PLATFORM_DEV_DID == fuchsia.platform.BIND_PLATFORM_DEV_DID.DEVICETREE;
  fuchsia.devicetree.FIRST_COMPATIBLE == "amlogic,g12b-clk";
} else {
  // Parent must publish the platform device protocol.
  fuchsia.BIND_PROTOCOL == fuchsia.platform.BIND_PROTOCOL.DEVICE;

  // Vendor must be AMLogic.
  fuchsia.BIND_PLATFORM_DEV_VID == fuchsia.amlogic.platform.BIND_PLATFORM_DEV_VID.AMLOGIC;

  // Driver must be some AMLogic Clock.
  accept fuchsia.BIND_PLATFORM_DEV_DID {
    fuchsia.amlogic.platform.BIND_PLATFORM_DEV_DID.AXG_CLK,
    fuchsia.amlogic.platform.BIND_PLATFORM_DEV_DID.GXL_CLK,
    fuchsia.amlogic.platform.BIND_PLATFORM_DEV_DID.G12A_CLK,
    fuchsia.amlogic.platform.BIND_PLATFORM_DEV_DID.G12B_CLK,
    fuchsia.amlogic.platform.BIND_PLATFORM_DEV_DID.SM1_CLK,
    fuchsia.amlogic.platform.BIND_PLATFORM_DEV_DID.A5_CLK,
    fuchsia.amlogic.platform.BIND_PLATFORM_DEV_DID.A1_CLK,
  }
}