1 // Copyright (C) 2024 Intel Corporation. 2 // Author(s): Zhao Liu <zhao1.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 pub mod device; 11 pub mod fw_cfg; 12 13 pub const TYPE_HPET: &::std::ffi::CStr = c"hpet"; 14