xref: /DragonOS/kernel/src/driver/timers/mod.rs (revision 55e6f0b65f91b32638fd56581f711a816eccdcd1)

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