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

library fuchsia.goldfish.platform;

extend uint fuchsia.BIND_PROTOCOL {
  ADDRESS_SPACE = 0x11,
  CONTROL = 0x12,
  PIPE = 0x13,
  SYNC = 0x9A,
};

extend uint fuchsia.BIND_PLATFORM_DEV_PID {
  GOLDFISH = 0x0D,
};

extend uint fuchsia.BIND_PLATFORM_DEV_DID {
  CONTROL = 0x07,
  PIPE_CONTROL = 0x09,
  PIPE_SENSOR = 0x0A,
};