| 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"; |