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

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