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

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