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

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