1 // Copyright (C) 2024 Intel Corporation. 2 // Author(s): Zhao Liu <zhai1.liu@intel.com> 3 // SPDX-License-Identifier: GPL-2.0-or-later 4 5 //! # HPET QEMU Device Model 6 //! 7 //! This library implements a device model for the IA-PC HPET (High 8 //! Precision Event Timers) device in QEMU. 9 10 use qemu_api::c_str; 11 12 pub mod fw_cfg; 13 pub mod hpet; 14 15 pub const TYPE_HPET: &::std::ffi::CStr = c_str!("hpet"); 16