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

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