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

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