// Copyright 2020 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.intel.platform;
using fuchsia.hardware.platform.bus;

fuchsia.hardware.platform.bus.Service == fuchsia.hardware.platform.bus.Service.DriverTransport;
fuchsia.BIND_PLATFORM_DEV_VID == fuchsia.intel.platform.BIND_PLATFORM_DEV_VID.INTEL;
fuchsia.BIND_PLATFORM_DEV_PID == fuchsia.intel.platform.BIND_PLATFORM_DEV_PID.X86;