// Copyright 2022 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.hardware.goldfish.addressspace;

extend uint fuchsia.BIND_FIDL_PROTOCOL {
  // Must be kept in sync with the definition at src/lib/ddk/include/lib/ddk/fidl-protodefs.h
  ADDRESS_SPACE = 6,
};