// Copyright 2023 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.display;

/// Type of the internal value in [`fuchsia.hardware.display/EventId`].
alias EventIdValue = uint64;

/// Identifies a Zircon event shared between the Display Coordinator and a
/// client.
///
/// [`fuchsia.hardware.display.types/INVALID_DISP_ID`] represents an invalid
/// value.
///
/// Values are managed by [`fuchsia.hardware.display/Coordinator`] clients, to
/// facilitate feed-forward dataflow.
///
/// Valid values uniquely identify Zircon events imported to the Coordinator
/// within a display Coordinator connection.
// TODO(https://fxbug.dev/42080380): Figure out a more accurate description for the
// ID uniqueness.
type EventId = struct {
    value EventIdValue;
};