1// Copyright 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved. 2// SPDX-License-Identifier: Apache-2.0 3 4mod generated; 5pub mod vmclock; 6pub mod vmgenid;