xref: /DragonOS/kernel/src/driver/timers/mod.rs (revision 352ee04918f4585ad4f8a896ca6e18b1ef7d7934)

#[cfg(target_arch = "x86_64")]
pub mod hpet;